A family of means, always increasing

This inequality states that the generalized mean of a set of positive numbers, defined with exponent $p$, is a non-decreasing function of $p$ -- which is why the quadratic mean is always at least the arithmetic mean, which is always at least the geometric mean, which is always at least the harmonic mean.