Theorem rpow_one_add_lt_one_add_mul_self

Modification history

2024-03-25 20:19
Mathlib/Analysis/Convex/SpecificFunctions/Basic.lean
feat: Bernoulli's inequality for `0 < p < 1` (#10982) …
Added rpow_one_add_lt_one_add_mul_selfView on Github →