級関数について (1)区間内で常にが成り立つ (2)区間内のとに対して不等式 が成り立つ定理． (1)と(2)は同値である．証明が厄介だ．不等式の証明は(右辺)-(左辺)の関数を考えて，微分して増減表（ヘルダーの不等式の証明のように）が楽だがそれはちょっとつま…