a、b、c を正の実数とする。
a^3・b^6 + b^3・c^6 + c^3・a^6 + 3・a^3・b^3・c^3 ≧ abc・(a^3・b^3 + b^3・c^3 + c^3・a^3) + a^2・b^2・c^2・(a^3 + b^3 + c^3)