>>631
あってる。反例ない。その方が使い回しがいいから。両端まで微分可能性を要求すると
――
f(x) = √(x^2-1)のときx>1においてf’(x)>0だから
平均値の定理からx≧1において狭義単調増加
――
という議論が使えない。