x, y, z≧0⇒(x^2+2yz)^{7}+(y^2+2zx)^{7}+(z^2+2xy)^{7}≦(x^2+y^2+z^2)^{7}+2(xy+yz+zx)^{7}