试用函数单掉性定义证明:函数f(x)=1/x在(0,(正无限大的符号))上是减函数.