Just to add a note of explanation to that method:
What we're arguing here is that as the product is 1, if one factor approaches +/-infinity, the other factor approaches 1/+-infinity = 0.
So consider x. As it approaches +-infinity, y-x, the other factor, must approach 0. That is, y-->x. So...