>>618 >>739 (6) >>747

a,b,c ≧ 0,　a+b+c ≦ √(8k) のとき
　kk{(a+b+c)^2 +k} ≧ (aa+k)(bb+k)(cc+k) ≧ (3kk/4)(a+b+c)^2,

左側は
　a+b+c ≦ √(8k)　より
　ab ≦ (1/4)(a+b)^2 ≦ 2k,
　(a+b)c ≦ (1/4)(a+b+c)^2 ≦ 2k,

　(aa+k)(bb+k) = k{(a+b)^2 +k} - ab(2k-ab) ≦ k{(a+b)^2 +k},

∴　(aa+k)(bb+k)(cc+k) ≦ k{(a+b)^2 +k}(cc+k) = kk(ss+k) -k(a+b)c{2k-(a+b)c} ≦ kk(ss+k),