dranseth said:
lim (x(?1+4/x)-x)
x->?
lim x((?1+0)-1)
x->?
Here's the source of the difficulty. You are starting out with what is called an "indeterminate difference", because you are subtracting infinity from infinity, which can give you anything at all. By factoring out the "x", the other factor is now
(?1+4/x) - 1 ,
which, for the limit at infinity, is indeed zero. The trouble is that your full expression now gives a limit of infinity times zero, which is called an "indeterminate product", as this can also give you anything at all.
The most direct way of dealing with such indeterminate differences is to use the "conjugate factor" method (that's what I call it -- I don't know its "official" name, or if it even has one). Multiply your expression by the ratio
((?x^2+4x) + x) / ((?x^2+4x) + x) , which is just one. This gives you the quotient
[((?x^2+4x) - x) · ((?x^2+4x) + x)] / ((?x^2+4x) + x) .
The factors in the numerator are the factors of a difference of two squares, which is to say that if you multiply those two binomials, the "cross terms" will cancel. You now have
[(x^2+4x) - (x^2)] / ((?x^2+4x) + x) , which simplifies to
(4x) / ((?x^2+4x) + x) .
The point of this method is that it eliminates places where there are differences between terms, which lead to problems in taking limits. We still want the limit at infinity, so divide numerator and denominator here by x , which leads to
4 / ((?1 + 4/x) + 1) ,
for which the limit at infinity is 4 / [(?1+0) + 1] = 2 . Putting your original function into a graphing routine will confirm that it has a horizontal asymptote of y = 2.
EDIT: Either the board or my browser doesn't like the square root symbol you used when I put it in my reply. So, if you're seeing ?'s all over the place, those are supposed to be radicals...