如何证明这个函数在定义域上单增?