実数 a, b, c に対して、2(a^4 + b^4 + c^4) + (71+17√17)/2 ≧ 4abc + a^2b^2 + c^2a^2 + 3b^2c^2