If for , prove that
Proof. For not all equal, we may apply the previous exercise with and with , to obtain,
Further, if , then
Thus, the requested inequality holds for any , and as a bonus, we prove equality holds if and only if
If for , prove that
Further, if , then
Thus, the requested inequality holds for any , and as a bonus, we prove equality holds if and only if