>>260
導関数が連続と証明できるのか?
単調を直接証明した方が良い