证明函数y=x+1/x在区间[1,正无穷)上是增函数