>>542
（左辺）=(a^2 + b^2 + c^2 + ab + bc + ca)(Σa^4 + abcΣa - Σab(a^2 + b^2)) ≧ 0 = （右辺）
後ろの不等式はシューアから

ぬるぽビッチの方が綺麗だね