用定义证明f(x)在(0,正无穷)上是减函数