>>609 の続き

(6) (x^2 + y^2 + z^2)^3 ≧ 8(x^2 - yz)(y^2 - zx)(z^2 - xy)