对号函数单调性证明 f(x)=x+1/x