pow): more versions of `x ^ k = o(exp(b * x))` (#13285)

Commit

3 years ago

feat(analysis/special_functions/pow): more versions of `x ^ k = o(exp(b * x))` (#13285)

Author

urkud

Parents