单调递减公式