抽象函数如何证明单调性