如何用定义证明某函数是增函数?