>97
 s>a,b より相加・相乗平均 (ssab)^(1/4) < (s+s+a+b)/4, (ab)^(1/4)・√s < (2s+a+b)/4.