(a^2 + b^2 + c^2)^2 - (ab+bc+ca)^2 ≧ (√6)(a-b)(b-c)(c-a)(a+b+c)