>>542
f(t)=exp(6t) は下に凸。
∴ぬるぽビッチにより
exp(6x)+exp(6y)+exp(6z)-2exp(3(x+y))-2exp(3(y+z))-2exp(3(z+x))+3exp(2(x+y+z))≧0,
exp(x)=a、exp(y)=b、exp(z)=cとおく。