>>742 は >>609 (2), >>612 にござる。

>>739 (6) 右側　は >>616 >>618

　(aa+2)(bb+2)(cc+2) = uu + 2(tt-2su) + 4(ss-2t) + 8
　= (uu+1+1) + (2/3)(t-3)^2 + (4/3)(tt-3su) + (ss-4t) + 3ss
　≧ 3ss,

※　(uu+1+1) + (ss-4t) ≧ 3u^(2/3) + {F1(a,b,c)-9u}/s
　= 3{u^(2/3) -3u/s} + F1(a,b,c)/s
　≧ 0,