a,b,c≧0に対して、

(3) {a^2 + b^2 + c^2 + 9(ab+bc+ca)}^3 ≧ 1000abc(a+b+c)^3