判断函数f(x)=log2(1-x)的单调性并用定义证明