Let , , be positive real numbers. Prove that
solution by paladin8:
WLOG, assume .
Then the LHS becomes .
Notice , so .
So as desired.