正の実数x,y,zに対して次を示せ。
(xy)^3/(x^3+1)+(yz)^3/(y^3+1)+(zx)^3/(z^3+1) ≧ 6/{xyz(1+xyz)}
できる神いる?