用函数单调性的定义证明f(x)=3-x在R上是减函数.