キーワードmonotonically decreasing function