これってエレガントというか、きれいな解法はないだろうか？
そんなに各種不等式に詳しくないので、ここで聞きます。

abc=1を満たす正の実数a,b,cにたいして、
a^3+b^3+c^3+6≧(a+b+c)^2