函数在其定义域内单调递减。