If and
, prove that
Proof. Recall the definition of the


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