単調減少関数