Let and be real numbers. Prove the Inequality
Without loss of generality, let us assume that . Then according to the AM-GM Inequality we have that
Therefore, it holds that
It remains now to prove that
which reduces to the obvious, after expansions, Inequality Equality holds if and only if or any cyclic permutations of the previous equality Q.E.D.