〔補題555〕
X,Y,Z ≧ 0, X+Y+Z = S のとき
 S/(1 + S/3) ≧ X/(1+X) + Y/(1+Y) + Z/(1+Z) ≧ S/(1 + S),

分かスレ478-555