Limits at Infinity

In this section, I'll discuss proofs for limits of the form $\displaystyle \lim_{x \to \infty} f(x)$ . They are like $\epsilon-\delta$ proofs, though the setup and algebra are a little different.

Recall that $\displaystyle \lim_{x \to c} f(x) = L$ means that for every $\epsilon > 0$ , there is a $\delta$ such that if

$$\delta > |x - c| > 0, \quad\hbox{then}\quad \epsilon > |f(x) - L|.$$

Definition. $\displaystyle \lim_{x \to \infty} f(x) = L$ means that for every $\epsilon > 0$ , there is an M such that if

$$x > M , \quad\hbox{then}\quad \epsilon > |f(x) - L|.$$

In other words, I can make $f(x)$ as close to L as I please by making x sufficiently large.

Remarks. Limits at infinity often occur as limits of sequences, such as

$$\dfrac{1}{2}, \quad \dfrac{1}{3}, \quad \dfrac{1}{4}, \ldots, \dfrac{1}{n}, \ldots.$$

In this case, $\displaystyle \lim_{n \to \infty} \dfrac{1}{n} = 0$ . I won't make a distinction between the limit at infinity of a sequence and the limit at infinity of a function; the proofs you do are essentially the same in both cases.

There is s similar definition for $\displaystyle \lim_{x \to -\infty} f(x) = L$ , and the proofs are similar as well. I'll stick to $\displaystyle \lim_{x \to \infty} f(x)$ here.

Example. Prove that $\displaystyle \lim_{n \to \infty} \dfrac{1}{n} = 0$ .

As with $\epsilon-\delta$ proofs, I do some scratch work, working backwards from what I want. Then I write the "real proof" in the forward direction.

Scratch work. I want

$$\epsilon > \left|\dfrac{1}{n} - 0\right| = \left|\dfrac{1}{n}\right| = \dfrac{1}{n}.$$

I want to drop the absolute values, so I'll assume $n > 0$ . Rearranging the inequality, I get $n > \dfrac{1}{\epsilon}$ .

Here's the real proof. Let $\epsilon > 0$ . Set $M = \max\left(0, \dfrac{1}{\epsilon}\right)$ . If $n > M$ , then $n > 0$ and $n > \dfrac{1}{\epsilon}$ , so

$$\eqalign{ n & > \dfrac{1}{\epsilon} \cr \epsilon & > \dfrac{1}{n} \cr \epsilon & > \left|\dfrac{1}{n}\right| \cr \epsilon & > \left|\dfrac{1}{n} - 0\right| \cr}$$

This proves that $\displaystyle \lim_{n \to \infty} \dfrac{1}{n} = 0$ .

Example. Prove that $\displaystyle \lim_{x \to \infty} \dfrac{6x + 1}{2x + 1} = 3$ .

Scratch work. I want

$$\epsilon > \left|\dfrac{6x + 1}{2x + 1} - 3\right| = \left|\dfrac{6x + 1 - 3(2x + 1)}{2x + 1}\right| = \left|\dfrac{-2}{2x + 1}\right| = \left|\dfrac{2}{2x + 1}\right| = \dfrac{2}{2x + 1}.$$

In order to drop the absolute values, I need to assume $x > 0$ .

Rearrange the inequality:

$$\eqalign{ \epsilon & > \dfrac{2}{2x + 1} \cr (2x + 1)\epsilon & > 2 \cr 2x\epsilon + \epsilon & > 2 \cr 2x\epsilon & > 2 - \epsilon \cr x & > \dfrac{2 - \epsilon}{2\epsilon} \cr}$$

Here's the real proof. Let $\epsilon > 0$ . Set $M = \max\left(0, \dfrac{2 - \epsilon}{2\epsilon}\right)$ . If $x > M$ , then $x > 0$ and $x > \dfrac{2 - \epsilon}{2\epsilon}$ . So

$$\eqalign{ x & > \dfrac{2 - \epsilon}{2\epsilon} \cr 2\epsilon x & > 2 - \epsilon \cr 2\epsilon x + \epsilon & > 2 \cr \epsilon (2x + 1) & > 2 \cr \epsilon & > \dfrac{2}{2x + 1} \cr \epsilon & > \left|\dfrac{2}{2x + 1}\right| \cr \epsilon & > \left|\dfrac{-2}{2x + 1}\right| \cr \epsilon & > \left|\dfrac{6x + 1 - 3(2x + 1)}{2x + 1}\right| \cr \epsilon & > \left|\dfrac{6x + 1}{2x + 1} - 3\right| \cr}$$

Therefore, $\displaystyle \lim_{x \to \infty} \dfrac{6x + 1}{2x + 1} = 3$ .

Example. Prove that $\displaystyle \lim_{n \to \infty} (-1)^n$ is undefined.

I'll use proof by contradiction. Suppose that

$$\lim_{n \to \infty} (-1)^n = L.$$

Taking $\epsilon = \dfrac{1}{2}$ in the definition, I can find M such that if $n > M$ , then $\dfrac{1}{2} > |(-1)^n - L|$ .

Choose p to be an even number greater than M. Then

$$\dfrac{1}{2} > |(-1)^p - L| = |1 - L|.$$

This says that the distance from L to 1 is less than $\dfrac{1}{2}$ , so

$$\dfrac{1}{2} < L < \dfrac{3}{2}.$$

Choose q to be an odd number greater than M. Then

$$\dfrac{1}{2} > |(-1)^q - L| = |-1 - L|.$$

This says that the distance from L to -1 is less than $\dfrac{1}{2}$ , so

$$-\dfrac{3}{2} < L < -\dfrac{1}{2}.$$

This is a contradiction, since L can't be in $\left(\dfrac{1}{2}, \dfrac{3}{2}\right)$ and in $\left(-\dfrac{3}{2}, -\dfrac{1}{2}\right)$ at the same time.

Hence, $\displaystyle \lim_{n \to \infty} (-1)^n$ is undefined.

Send comments about this page to: Bruce.Ikenaga@millersville.edu.

Bruce Ikenaga's Home Page

Copyright 2008 by Bruce Ikenaga