证明函数f(x)=4/x^在区间(0,+∞)上的单调性