x,y,zを√x+√y+√z=1を満たす正の実数とする。
(x^2+yz)/√(2x^2(y+z)) + (y^2+zx)/√(2y^2(z+x)) + (z^2+xy)/√(2z^2(x+y)) ≧ 1
を示せ。