微分したら単調増加じゃないか?