>590
相加･相乗平均より
　(2aab + cca)/3 ≧ a(abc)^(2/3) =a,
　(2bbc + aab)/3 ≧ b(abc)^(2/3) =b,
　(2cca + bbc)/3 ≧ c(abc)^(2/3) =c.
辺々たす?