减函数的单调性计算