函数在定义域上单调递减