24/04/30 15:21:31.75 ElCKljKY.net
>>701
AM-GM不等式から u ≦ (s/3)^3,
u = (1-ab)(1-c) + (1-a)(1-b) + (s-2) ≧ s-2,
なので、これらは必要条件です。
一方、 (a, b, c) = (a, (s-a)/2, (s-a)/2) とすれば aについて連続で
a=s/3 のとき u = (s/3)^3,
0≦s≦2, a→0 のとき u→0,
2≦s≦3, a=s-2 のとき u = s-2.
なので、これらは十分条件です。