導関数の符号変化に言及していないようだが