specific_functions): convexity of rpow (#2965)

Commit

5 years ago

feat(analysis/convex/specific_functions): convexity of rpow (#2965) The function `x -> x^p` is convex on `[0, +\infty)` when `p \ge 1`.

Author

sgouezel

Parents