>>441
「相加相乗平均の定理」でもいいが中点は要らない筈