已知f(X)=x+4/x(x不等于0) 用单调性的定义证明f(X)在(0,2]上为减函数,在[2,正无穷)上为增函数