不知道解析式的函数怎么证明单调性啊?只是初级函数,不涉及指数函数和幂函数等