MathCastle
Proof WritingSuperchallengeWriting It Up

Writing It Up · Superchallenge problem

A draft reads: "a3+b3+c3−3abc=(a+b+c)(a2+b2+c2−ab−bc−ca)≥0a^3 + b^3 + c^3 - 3abc = (a + b + c)(a^2 + b^2 + c^2 - ab - bc - ca) \ge 0, clearly." The second factor is always ≥0\ge 0. What hypothesis is the "clearly" hiding?