>>927
単調減少の場合も同様の議論で