证f(x)=1/x 在(0,正无限大)为减函数