導関数についての中間値の定理により,導関数の符号が正または負になるということを使うのでしょうか?