# 4.1: Sequences of Real Numbers

- Page ID
- 7937

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

Skills to Develop

- Explain the sequences of real numbers

In Chapter 2, we developed the equation \(1 + x + x^2 + x^3 + \cdots = \frac{1}{1-x}\), and we mentioned there were limitations to this power series representation. For example, substituting \(x = 1\) and \(x = -1\) into this expression leads to

\[1 + 1 + 1 + \cdots = \frac{1}{0} \; \; \text{and } 1 - 1 + 1 - 1 + \cdots = \frac{1}{2}\]

which are rather hard to accept. On the other hand, if we substitute \(x = \frac{1}{2}\) into the expression we get \(1 + \left ( \frac{1}{2} \right ) + \left ( \frac{1}{2} \right )^2 + \left ( \frac{1}{2} \right )^3 + \cdots = 2\) which seems more palatable until we think about it. We can add two numbers together by the method we all learned in elementary school. Or three. Or any ﬁnite set of numbers, at least in principle. But inﬁnitely many? What does that even mean? Before we can add inﬁnitely many numbers together we must ﬁnd a way to give meaning to the idea.

To do this, we examine an inﬁnite sum by thinking of it as a sequence of ﬁnite partial sums. In our example, we would have the following sequence of partial sums.

\[\left ( 1, 1 + \frac{1}{2}, 1 + \frac{1}{2} + \left ( \frac{1}{2} \right )^2, 1 + \frac{1}{2} + \left ( \frac{1}{2} \right )^3, \cdots , \sum_{j=0}^{n}\left ( \frac{1}{2} \right )^j\right )\]

We can plot these sums on a number line to see what they tend toward as \(n\) gets large.

**Figure \(\PageIndex{1}\):** Number line plot.

Since each partial sum is located at the midpoint between the previous partial sum and \(2\), it is reasonable to suppose that these sums tend to the number \(2\). Indeed, you probably have seen an expression such as \(\lim_{n \to \infty }\left ( \sum_{j=0}^{n}\left ( \frac{1}{2} \right )^j \right ) = 2\) justiﬁed by a similar argument. Of course, the reliance on such pictures and words is ﬁne if we are satisﬁed with intuition. However, we must be able to make these intuitions rigorous without relying on pictures or nebulous words such as “*approaches*.”

No doubt you are wondering “*What’s wrong with the word ‘approaches’? It seems clear enough to me.*” This is often a sticking point. But if we think carefully about what we mean by the word “*approach*” we see that there is an implicit assumption that will cause us some diﬃculties later if we don’t expose it.

To see this consider the sequence \(\left ( 1,\frac{1}{2},\frac{1}{3},\frac{1}{4},\cdots \right )\). Clearly it “*approaches*”zero, right? But, doesn’t it also “*approach*” \(-1\)? It does, in the sense that each term gets closer to \(-1\) than the one previous. But it also “*approaches*” \(-2\), \(-3\), or even \(-1000\) in the same sense. That’s the problem with the word “*approaches*.” It just says that we’re getting closer to something than we were in the previous step. It does not tell us that we are actually getting close. Since the moon moves in an elliptical orbit about the earth for part of each month it is “*approaching*” the earth. The moon gets closer to the earth but, thankfully, it does not get close to the earth. The implicit assumption we alluded to earlier is this: When we say that the sequence \(\left ( \frac{1}{n}\right )_{n=1}^\infty\) “*approaches*” zero we mean that it is getting close not closer. Ordinarily this kind of vagueness in our language is pretty innocuous. When we say “*approaches*” in casual conversation we can usually tell from the context of the conversation whether we mean “*getting close to*” or “*getting closer to.*” But when speaking mathematically we need to be more careful, more explicit, in the language we use.

So how can we change the language we use so that this ambiguity is eliminated? Let’s start out by recognizing, rigorously, what we mean when we say that a sequence converges to zero. For example, you would probably want to say that the sequence \(\left ( 1,\frac{1}{2},\frac{1}{3},\frac{1}{4},\cdots \right ) = \left ( \frac{1}{n}\right )_{n=1}^\infty\) converges to zero. Is there a way to give this meaning without relying on pictures or intuition?

One way would be to say that we can make \(\frac{1}{n}\) as close to zero as we wish, provided we make \(n\) large enough. But even this needs to be made more speciﬁc. For example, we can get \(\frac{1}{n}\) to within a distance of \(0.1\) of \(0\) provided we make \(n > 10\), we can get \(\frac{1}{n}\) to within a distance of \(0.01\) of \(0\) provided we make \(n > 100\), etc. After a few such examples it is apparent that given any arbitrary distance \(ε > 0\), we can get \(\frac{1}{n}\) to within \(ε\) of \(0\) provided we make \(n > \frac{1}{\varepsilon }\). This leads to the following deﬁnition.

Definition \(\PageIndex{1}\)

Let \((s_n) = (s_1,s_2,s_3,...)\) be a sequence of real numbers. We say that \((s_n)\) converges to \(0\) and write \(\lim_{n \to \infty }s_n = 0\) provided for any \(ε > 0\), there is a real number \(N\) such that if \(n > N\), then \(|s_n| < ε\).

Notes on Definition \(\PageIndex{1}\):

- This deﬁnition is the formal version of the idea we just talked about; that is, given an arbitrary distance \(ε\), we must be able to ﬁnd a speciﬁc number \(N\) such that \(s_n\) is within \(ε\) of \(0\), whenever \(n > N\). The \(N\) is the answer to the question of how large is “
*large enough*” to put \(s_n\) this close to \(0\). - Even though we didn’t need it in the example \(\left (\frac{1}{n} \right )\), the absolute value appears in the deﬁnition because we need to make the distance from \(s_n\) to \(0\) smaller than \(ε\). Without the absolute value in the deﬁnition, we would be able to “
*prove*” such outrageous statements as \(\lim_{n \to \infty }-n = 0\), which we obviously don’t want. - The statement \(|sn| < ε\) can also be written as \(-ε < sn < ε\) or \(s_n ∈ (-ε,ε)\). (See the exercise \(\PageIndex{1}\) below.) Any one of these equivalent formulations can be used to prove convergence. Depending on the application, one of these may be more advantageous to use than the others.
- Any time an \(N\) can be found that works for a particular \(ε\), any number \(M > N\) will work for that \(ε\) as well, since if \(n > M\) then \(n > N\).

Exercise \(\PageIndex{1}\)

Let \(a\) and \(b\) be real numbers with \(b > 0\). Prove \(|a| < b\) if and only if \(-b < a < b\). Notice that this can be extended to \(|a| ≤ b\) if and only if \(-b ≤ a ≤ b\).

To illustrate how this deﬁnition makes the above ideas rigorous, let’s use it to prove that \(\lim_{n \to \infty }\left ( \frac{1}{n} \right ) = 0\).

proof:

Let \(ε > 0\) be given. Let \(N = \frac{1}{\varepsilon }\). If \(n > N\), then \(n > \frac{1}{\varepsilon }\) and so \(\left | \frac{1}{n} \right | = \frac{1}{n} < \varepsilon\). Hence by deﬁnition, \(\lim_{n \to \infty } \frac{1}{n} = 0\).

Notice that this proof is rigorous and makes no reference to vague notions such as “*getting smaller*” or “*approaching inﬁnity.*” It has three components:

- provide the challenge of a distance \(ε > 0\)
- identify a real number \(N\)
- show that this \(N\) works for this given \(ε\).

There is also no explanation about where \(N\) came from. While it is true that this choice of \(N\) is not surprising in light of the “*scrapwork*” we did before the deﬁnition, the motivation for how we got it is not in the formal proof nor is it required. In fact, such scrapwork is typically not included in a formal proof. For example, consider the following.

Example \(\PageIndex{1}\):

Use the deﬁnition of convergence to zero to prove \(\lim_{n \to \infty } \frac{\sin }{n} = 0\).

**Proof:**

Let \(ε > 0\). Let \(N = \frac{1}{\varepsilon }\). If \(n > N\), then \(n > \frac{1}{\varepsilon }\) and \(\frac{1}{n} < \varepsilon\). Thus \(\left | \frac{\sin n}{n} \right | \leq \frac{1}{n} < \varepsilon\). Hence by deﬁnition, \(\lim_{n \to \infty } \frac{\sin }{n} = 0\).

Notice that the \(N\) came out of nowhere, but you can probably see the thought process that went into this choice: we needed to use the inequality \(|\sin n|≤ 1\). Again this scrapwork is not part of the formal proof, but it is typically necessary for ﬁnding what \(N\) should be. You might be able to do the next problem without doing any scrapwork ﬁrst, but don’t hesitate to do scrapwork if you need it.

Exercise \(\PageIndex{2}\)

Use the deﬁnition of convergence to zero to prove the following.

- \(\lim_{n \to \infty } \frac{1}{n^2} = 0\)
- \(\lim_{n \to \infty } \frac{1}{\sqrt{n}} = 0\)

As the sequences get more complicated, doing scrapwork ahead of time will become more necessary.

Example \(\PageIndex{2}\):

Use the deﬁnition of convergence to zero to prove \(\lim_{n \to \infty } \frac{n+4}{n^2 + 1} = 0\).

**Scrapwork:**

Given an \(ε > 0\), we need to see how large to make \(n\) in order to guarantee that \(\left |\frac{n+4}{n^2 + 1} \right |< \varepsilon\). First notice that \((\frac{n+4}{n^2 + 1} < \frac{n+4}{n^2}\). Also, notice that if \(n > 4\), then \(n + 4 < n + n = 2n\). So as long as \(n > 4\), we have \(\frac{n+4}{n^2 + 1} < \frac{n+4}{n^2} < \frac{2n}{n^2} < \frac{2}{n}\). We can make this less than \(ε\) if we make \(n > \frac{2}{\varepsilon }\). This means we need to make \(n > 4\) and \(n > \frac{2}{\varepsilon }\), simultaneously. These can be done if we let \(N\) be the maximum of these two numbers. This sort of thing comes up regularly, so the notation \(N = \max \left (4,\frac{2}{\varepsilon } \right )\) was developed to mean the maximum of these two numbers. Notice that if \(N = \max \left (4,\frac{2}{\varepsilon } \right )\) then \(N ≥ 4\) and \(N \geq \frac{2}{\varepsilon }\). We’re now ready for the formal proof.

**Proof:**

Let \(ε > 0\). Let \(N = \max \left (4,\frac{2}{\varepsilon } \right )\). If \(n > N\), then \(n > 4\) and \(n > \frac{2}{\varepsilon }\). Thus we have \(n > 4\) and \(\frac{2}{n} < \varepsilon\). Therefore

\[\left |\frac{n+4}{n^2 + 1} \right | = \frac{n+4}{n^2 + 1} < \frac{n+4}{n^2} < \frac{2n}{n^2} = \frac{2}{n} < \varepsilon\]

Hence by deﬁnition, \(\lim_{n \to \infty }\frac{n+4}{n^2 + 1} = 0\).

Again we emphasize that the scrapwork is **NOT **part of the formal proof and the reader will not see it. However, if you look carefully, you can see the scrapwork in the formal proof.

Exercise \(\PageIndex{3}\)

Use the deﬁnition of convergence to zero to prove \(\lim_{n \to \infty }\frac{n^2+4n+1}{n^3} = 0\).

Let b be a nonzero real number with \(|b| < 1\) and let \(ε > 0\).

- Solve the inequality \(|b|^n < ε\) for \(n\).
- Use part (a) to prove \(\lim_{n \to \infty }b^n = 0\).

We can negate this deﬁnition to prove that a particular sequence does not converge to zero.

Example \(\PageIndex{3}\):

Use the deﬁnition to prove that the sequence \((1 + (-1)^n)_{n=0}^{\infty } = (2,0,2,0,2,\cdots )\) does not converge to zero.

Before we provide this proof, let’s analyze what it means for a sequence \((s_n)\) to not converge to zero. Converging to zero means that any time a distance \(ε > 0\) is given, we must be able to respond with a number \(N\) such that \(|s_n| < ε\) for every \(n > N\). To have this not happen, we must be able to ﬁnd some \(ε > 0\) such that no choice of \(N\) will work. Of course, if we ﬁnd such an \(ε\), then any smaller one will fail to have such an \(N\), but we only need one to mess us up. If you stare at the example long enough, you see that any \(ε\) with \(0 < ε ≤ 2\) will cause problems. For our purposes, we will let \(ε = 2\).

**Proof: **

Let \(ε = 2\) and let \(N ∈ \mathbb{N}\) be any integer. If we let \(k\) be any nonnegative integer with \(k > \frac{N}{2}\), then \(n = 2k > N\), but \(|1 + (-1)^n| = 2\). Thus no choice of \(N\) will satisfy the conditions of the deﬁnition for this \(ε\), (namely that \(|1 + (-1)^n| < 2\) for all \(n > N\)) and so \(\lim_{n \to \infty }(1 + (-1)^n) \neq 0\).

Exercise \(\PageIndex{5}\)

Negate the deﬁnition of \(\lim_{n \to \infty }s_n = 0\) to provide a formal deﬁnition for \(\lim_{n \to \infty }s_n \neq 0\).

Exercise \(\PageIndex{6}\)

Use the deﬁnition to prove \(\lim_{n \to \infty }\frac{n}{n+100} \neq 0\).

Now that we have a handle on how to rigorously prove that a sequence converges to zero, let’s generalize this to a formal deﬁnition for a sequence converging to something else. Basically, we want to say that a sequence \((s_n)\) converges to a real number \(s\), provided the diﬀerence \((s_n - s)\) converges to zero. This leads to the following deﬁnition:

Definition \(\PageIndex{2}\)

Let \((s_n) = (s_1,s_2,s_3,...)\) be a sequence of real numbers and let \(s\) be a real number. We say that \((s_n)\) converges to \(s\) and write \(\lim_{n \to \infty }s_n = s\)provided for any \(ε > 0\), there is a real number \(N\) such that if \(n > N\), then \(|s_n - s| < ε\).

Notes on DEfinition \(\PageIndex{2}\)

- Clearly \(\lim_{n \to \infty }s_n = s\) if and only if \(\lim_{n \to \infty }(s_n - s) = 0\).
- Again notice that this says that we can make \(s_n\) as close to \(s\) as we wish (within \(ε\)) by making \(n\) large enough (\(> N\)). As before, this deﬁnition makes these notions very speciﬁc.
- Notice that \(|s_n - s| < ε\) can be written in the following equivalent forms
- \(|s_n - s| < ε\)
- \(-ε < s_n - s < ε \)
- \(s - ε < s_n < s + ε \)
- \(s_n ∈ (s - ε,s + ε) \)

and we are free to use any one of these which is convenient at the time.

As an example, let’s use this deﬁnition to prove that the sequence in Problem \(\PageIndex{6}\), in fact, converges to \(1\).

Example \(\PageIndex{4}\):

Prove \(\lim_{n \to \infty }\frac{n}{n+100} = 1\).

**Scrapwork:**

Given an \(ε > 0\), we need to get \(\left |\frac{n}{n+100} - 1 \right | < \varepsilon\). This prompts us to do some algebra.

\[\left |\frac{n}{n+100} - 1 \right | = \left |\frac{n-(n+100)}{n+100} - 1 \right | \leq \frac{100}{n}\]

This in turn, seems to suggest that \(N = \frac{100}{\varepsilon }\) should work.

**Proof: **

Let \(ε > 0\). Let \(N = \frac{100}{\varepsilon }\). If \(n > N\), then \(n > \frac{100}{\varepsilon }\) and so \(\frac{100}{n} < \varepsilon\). Hence

\[\left |\frac{n}{n+100} - 1 \right | = \left |\frac{n-(n+100)}{n+100} - 1 \right | = \frac{100}{n+100} < \frac{100}{n} < \varepsilon\]

Thus by deﬁnition \(\lim_{n \to \infty }\frac{n}{n+100} = 1\)

Notice again that the scrapwork is not part of the formal proof and the author of a proof is not obligated to tell where the choice of \(N\) came from (although the thought process can usually be seen in the formal proof). The formal proof contains only the requisite three parts: provide the challenge of an arbitrary \(ε > 0\), provide a speciﬁc \(N\), and show that this \(N\) works for the given \(ε\).

Also notice that given a speciﬁc sequence such as \(\frac{n}{n+100}\), the deﬁnition does not indicate what the limit would be if, in fact, it exists. Once an educated guess is made as to what the limit should be, the deﬁnition only veriﬁes that this intuition is correct.

This leads to the following question: If intuition is needed to determine what a limit of a sequence should be, then what is the purpose of this relatively non-intuitive, complicated deﬁnition?

Remember that when these rigorous formulations were developed, intuitive notions of convergence were already in place and had been used with great success. This deﬁnition was developed to address the foundational issues. Could our intuitions be veriﬁed in a concrete fashion that was above reproach? This was the purpose of this non-intuitive deﬁnition. It was to be used to verify that our intuition was, in fact, correct and do so in a very prescribed manner. For example, if \(b > 0\) is a ﬁxed number, then you would probably say as \(n\) approaches inﬁnity, \(b^{(\frac{1}{n})}\) approaches \(b^0 = 1\). After all, we did already prove that \(\lim_{n \to \infty }\frac{1}{n} = 0\). We should be able to back up this intuition with our rigorous deﬁnition.

Exercise \(\PageIndex{7}\)

Let \(b > 0\). Use the deﬁnition to prove \(\lim_{n \to \infty }b^{(\frac{1}{n})} = 1\). [*Hint*: You will probably need to separate this into two cases: \(0 < b < 1\) and \(b ≥ 1\).]

Exercise \(\PageIndex{8}\)

- Provide a rigorous deﬁnition for \(\lim_{n \to \infty }s_n \neq s\).
- Use your deﬁnition to show that for any real number \(a\), \(\lim_{n \to \infty }((-1)^n) \neq a\). [
*Hint*: Choose \(ε = 1\) and use the fact that \(\left | a - (-1)^n \right | < 1\) is equivalent to \((-1)^n - 1 < a < (-1)^n + 1\) to show that no choice of \(N\) will work for this \(ε\).]

### Contributor

Eugene Boman (Pennsylvania State University) and Robert Rogers (SUNY Fredonia)