函数增减性的定义