Power Mean Inequality
The Mean
The power mean inequality is a generalized form of the multi-variable AM-GM inequality.
The kth "Power Mean", with exponent k and a series (a_i) of positive real numbers is ,
(The case k=0 is taken to be the geometic mean)
=== Inequality ===
If −∞ ≤ a < b ≤ ∞, then M(a) ≤ M(b). Equality if and only if a1 = a2 = ... = an, following from for −∞ ≤ t ≤ ∞, proved with Jensen's inequality.