主張 が普通の関数のとき "普通の関数"とは、で定義でき、極がなく、無限に振動したりしない関数のことである。微分可能である必要はない。 証明 次の不等式を使う。 右側は特に問題はないのだが、左側に関してはより小さいと成り立たないがここでは十分に0…