>>116
微分可能だとすると導関数は単調減少。