证明:函数y=1/x在区间(0,+无穷)上为单调递减函数