If and , prove that
Proof. Recall the definition of the th power mean, ,
for are positive real numbers and is any integer.
By the generalization of the Arithmetic Mean-Geometric Mean inequality (proved in part b of the linked exercise) we know that .
So, for the problem at hand, we consider gives us,
Simplifying this expression, we have