# Untitled Page 17

- Page ID
- 148356

## 3.5 Limits at infinity

The definition of the limit in terms of infinitesimals extends immediately to limiting
processes where *x* gets bigger and bigger, rather than closer and closer to some
finite value. For example, the function 3+1/*x* clearly gets closer and closer to
3 as *x* gets bigger and bigger. If *a* is an infinite number, then the definition
says that evaluating this expression at *a*+*dx*, where *dx* is infinitesimal,
gives a result whose standard part is 3. It doesn't matter that *a* happens to be
infinite, the definition still works. We also note that in this example, it doesn't
matter what infinite number *a* is; the limit equals 3 for *any* infinite *a*.
We can write this fact as

where the symbol ∞ is to be interpreted as “nyeah nyeah, I don't even care
what infinite number you put in here, I claim it will work out to 3 no matter what.”
The symbol ∞ is *not* to be interpreted as standing for any specific
infinite number. That would be the type of fallacy that lay behind the bogus proof
on page 30 that 1=1/2, which assumed that all infinities had to be
the same size.

A somewhat different example is the arctangent function. The arctangent of 1000 equals approximately 1.5698, and inputting bigger and bigger numbers gives answers that appear to get closer and closer to π/2≈1.5707. But the arctangent of -1000 is approximately -1.5698, i.e., very close to -π/2. From these numerical observations, we conjecture that

equals π/2 for positive infinite *a*, but -π/2 for negative infinite *a*.
It would not be correct to write

because it *does* matter what infinite number we pick. Instead we write

Some expressions don't have this kind of limit at all. For example, if you take the
sines of big numbers like a thousand, a million, etc., on your calculator, the results
are essentially random numbers lying between -1 and 1. They don't settle down to any
particular value, because the sine function oscillates back and forth forever.
To prove formally that \lim_{x→ +∞} sin x is undefined, consider that the sine function, defined on the real
numbers, has the property that you can always change its result by at least 0.1 if you
add either 1.5 or -1.5 to its input. For example, sin(.8)≈ 0.717, and sin(.8-1.5)≈-0.644.
Applying the transfer principle to this statement, we find that the same is true
on the hyperreals. Therefore there cannot be any value ℓ that differs infinitesimally
from sin *a* for all positive infinite values of *a*.

Often we're interested in finding the limit as *x* approaches infinity of an expression
that is written as an indeterminate form like *H*/*K*, where both *H* and *K* are infinite.

### Example 15

◊ Evaluate the limit◊ Intuitively, if *x* gets large enough the constant terms will be negligible, and
the top and bottom will be dominated by the 2*x* and *x* terms, respectively, giving an
answer that approaches 2.

One way to verify this is to divide both the top and the bottom by *x*, giving

If *x* is infinite, then the standard part of the top is 2, the standard part of the
bottom is 1, and the standard part of the whole thing is therefore 2.

Another approach is to use l'H\^{o}pital's rule. The derivative of the top is 2, and the derivative of the bottom is 1, so the limit is 2/1=2.