证明:函数f(x)=x分之7在区间(负无穷大,0)上是减函数.