狭義単調増加で0で値が1なら
そこでしか1にならない
という議論ではないでしょうか