已知函数f(x)=2x/x2+1,证明在[1,正无穷)是减函数