>359 訂正、スマソ

(略証) (L.Radzivilovsky) 分子の符号によらず,
 (x^5 -x^2)/(x^5 +y^2 +z^2) ≧ (x^5 -x^2)/{x^5+(y^2+z^2)x^3} = (x^2 -1/x)/(x^2+y^2+z^2).
 これを循環的にたす。 xyz≧1 を使って、
 (左辺) ≧ (x^2+y^2+z^2 -1/x 1/y -1/z)/(x^2+y^2+z^2) ≧ {(yz-1/x)+(zx-1/y)+(xy-1/z)}/(x^2+y^2+z^2) ≧0.

 または、分母をコーシーして 1/x ≦ yz ≦ (y^2+z^2)/2 を使う。(iandrei2)
   (x^5+y^2+z^2)(1/x+y^2+z^2) ≧ (x^2+y^2+z^2)^2.

Problem3 IMO2005
http://www.mathlinks.ro/Forum/topic-44480.html