Claim: If a,b,c are positive reals, then .
Proof: (Due to argz.) Assume, wlog, that . Then, since
so . Hence by the same reasoning,
and multiplying both sides by aabbcc and taking cube roots gives us the inequality.