>>738 (2) を改造^^

a,b,c∈R に対して
　| a^3+b^3+c^3 - 3abc |^2 ≦ (aa+bb+cc)^3 - (ab+bc+ca)^3,

(略証)
　s = a+b+c,　t = ab+bc+ca とおく。
　(ss-2t)^3 - t^3 - ss(ss-3t)^2 = 3(ss-3t)tt ≧ 0,
　(左辺) = ss(ss-3t)^2 ≦ (ss-2t)^3 - t^3 = (右辺),