用单调性定义证明函数f(x)=2/x早(-无穷大,0)上为减函数