利用定义判断函数Y=X-1除以X在(0,正无穷大)上的单调性