什么叫做单调函数?如何证明某个函数是单调函数?