sqrt (x ^ 2 + 1)` (#18189)

Commit

2 years ago

feat(special_functions/trigonometric/bounds): Add the inequality `cos x < 1 / sqrt (x ^ 2 + 1)` (#18189)

Author

loefflerd

Parents