用函数单调性定义证明函数f(x)=log1/2 (1-1/2 x)在(-∞,2)上是增函数