If are non-negative numbers prove that
Back to the inequality now, multiply both sides by . Then we have that .
But from the lemma we reduce the current inequality to
It also holds . Multiplying the last inequality with we get that .
So, it suffices to prove that
which reduces to the obvious inequality
Equality occurs for and also for or any cyclic permutation, Q.E.D.