用定义证明：函数在(0,1]上是减函数。