# 8.1: Sequences

In this section, we introduce sequences and define what it means for a sequence to converge or diverge. We close this section with the Monotone Convergence Theorem, a tool we can use to prove that certain types of sequences converge.

## Terminology of Sequences

To work with this new topic, we need some new terms and definitions. First, an infinite sequence is an ordered list of numbers of the form

[displaystyle a_1,a_2,a_3,…,a_n,….]

Each of the numbers in the sequence is called a term. The symbol (displaystyle n) is called the index variable for the sequence. We use the notation

[displaystyle {a_n}^∞_n=1,]

or simply (displaystyle {a_n}), to denote this sequence. A similar notation is used for sets, but a sequence is an ordered list, whereas a set is not ordered. Because a particular number (displaystyle a_n) exists for each positive integer (displaystyle n), we can also define a sequence as a function whose domain is the set of positive integers.

Let’s consider the infinite, ordered list

[displaystyle 2,4,8,16,32,….]

This is a sequence in which the first, second, and third terms are given by (displaystyle a_1=2, a_2=4,) and (displaystyle a_3=8.) You can probably see that the terms in this sequence have the following pattern:

[displaystyle a_1=2^1,a_2=2^2,a_3=2^3,a_4=2^4 , ext{and } displaystyle a_5=2^5.]

Assuming this pattern continues, we can write the (displaystyle nth) term in the sequence by the explicit formula (displaystyle a_n=2n.) Using this notation, we can write this sequence as

[displaystyle {2n}^∞_n=1]

or

[displaystyle {2^n}.]

Alternatively, we can describe this sequence in a different way. Since each term is twice the previous term, this sequence can be defined recursively by expressing the (displaystyle nth) term (displaystyle a_n) in terms of the previous term (displaystyle a_{n−1}). In particular, we can define this sequence as the sequence (displaystyle {a_n}) where (displaystyle a_1=2) and for all (displaystyle n≥2), each term an is defined by the recurrence relation

[displaystyle a_n=2a_{n−1}.]

Definition: infinite sequence

An infinite sequence (displaystyle {a_n}) is an ordered list of numbers of the form

(displaystyle a_1,a_2,…,a_n,….)

The subscript (displaystyle n) is called the index variable of the sequence. Each number (displaystyle a_n) is a term of the sequence. Sometimes sequences are defined by explicit formulas, in which case (displaystyle a_n=f(n)) for some function (displaystyle f(n)) defined over the positive integers. In other cases, sequences are defined by using a recurrence relation. In a recurrence relation, one term (or more) of the sequence is given explicitly, and subsequent terms are defined in terms of earlier terms in the sequence.

Note that the index does not have to start at (displaystyle n=1) but could start with other integers. For example, a sequence given by the explicit formula (displaystyle a_n=f(n)) could start at (displaystyle n=0), in which case the sequence would be

[displaystyle a_0,a_1,a_2,….]

Similarly, for a sequence defined by a recurrence relation, the term (displaystyle a_0) may be given explicitly, and the terms (displaystyle a_n) for (displaystyle n≥1) may be defined in terms of (displaystyle a_{n−1}). Since a sequence (displaystyle {a_n}) has exactly one value for each positive integer (displaystyle n), it can be described as a function whose domain is the set of positive integers. As a result, it makes sense to discuss the graph of a sequence. The graph of a sequence (displaystyle {a_n}) consists of all points (displaystyle (n,a_n)) for all positive integers n. Figure shows the graph of (displaystyle {2^n}).

Two types of sequences occur often and are given special names: arithmetic sequences and geometric sequences. In an arithmetic sequence, the difference between every pair of consecutive terms is the same. For example, consider the sequence

[displaystyle 3,7,11,15,19, ldots]

You can see that the difference between every consecutive pair of terms is (displaystyle 4). Assuming that this pattern continues, this sequence is an arithmetic sequence. It can be described by using the recurrence relation

[displaystyle egin{cases}a_1=3a_n=a_{n−1}+4&for n≥2end{cases}.]

Note that

[displaystyle a_2=3+4]

[displaystyle a_3=3+4+4=3+2⋅4]

[displaystyle a_4=3+4+4+4=3+3⋅4.]

Thus the sequence can also be described using the explicit formula

[displaystyle a_n=3+4(n−1)=4n−1.]

In general, an arithmetic sequence is any sequence of the form (displaystyle a_n=cn+b.)

In a geometric sequence, the ratio of every pair of consecutive terms is the same. For example, consider the sequence

[displaystyle 2,−dfrac{2}{3},dfrac{2}{9},−dfrac{2}{27},dfrac{2}{81},….]

We see that the ratio of any term to the preceding term is (displaystyle −dfrac{1}{3}). Assuming this pattern continues, this sequence is a geometric sequence. It can be defined recursively as

[ a_1=2]

[a_n=−dfrac{1}{3}⋅a_{n−1}]

for ([displaystyle n≥2.)

Alternatively, since

[a_2=−dfrac{1}{3}⋅2]

[a_3=left(−dfrac{1}{3} ight)left(−dfrac{1}{3} ight)(2)=left(−dfrac{1}{3} ight)^2⋅2]

[a_4= left(−dfrac{1}{3} ight)left(−dfrac{1}{3} ight)left(−dfrac{1}{3} ight)(2)=left(−dfrac{1}{3} ight)^3⋅2,]

we see that the sequence can be described by using the explicit formula

[displaystyle a_n=2 left(−dfrac{1}{3} ight)^{n−1}.]

The sequence (displaystyle {2^n}) that we discussed earlier is a geometric sequence, where the ratio of any term to the previous term is (displaystyle 2). In general, a geometric sequence is any sequence of the form (displaystyle a_n=cr^n).

Example (displaystyle PageIndex{1}): Finding Explicit Formulas

For each of the following sequences, find an explicit formula for the (displaystyle nth) term of the sequence.

1. (displaystyle −dfrac{1}{2},dfrac{2}{3},−dfrac{3}{4},dfrac{4}{5},−dfrac{5}{6},…)
2. (displaystyle dfrac{3}{4},dfrac{9}{7},dfrac{27}{10},dfrac{81}{13},dfrac{243}{16},…).

Solution:

a. First, note that the sequence is alternating from negative to positive. The odd terms in the sequence are negative, and the even terms are positive. Therefore, the (displaystyle nth) term includes a factor of (displaystyle (−1)^n). Next, consider the sequence of numerators (displaystyle {1,2,3,…}) and the sequence of denominators (displaystyle {2,3,4,…}). We can see that both of these sequences are arithmetic sequences. The (displaystyle nth) term in the sequence of numerators is (displaystyle n), and the (displaystyle nth) term in the sequence of denominators is (displaystyle n+1). Therefore, the sequence can be described by the explicit formula

[displaystyle a_n=dfrac{(−1)^nn}{n+1}.]

b. The sequence of numerators (displaystyle 3,9,27,81,243,…) is a geometric sequence. The numerator of the (displaystyle nth) term is (displaystyle 3^n) The sequence of denominators (displaystyle 4,7,10,13,16,…) is an arithmetic sequence. The denominator of the (displaystyle nth) term is (displaystyle 4+3(n−1)=3n+1.) Therefore, we can describe the sequence by the explicit formula (displaystyle a_n=dfrac{3^n}{3n+1.})

Exercise (PageIndex{1})

Find an explicit formula for the nth term of the sequence {(displaystyle dfrac{1}{5},−dfrac{1}{7},dfrac{1}{9},−dfrac{1}{11},…)}.

Hint

The denominators form an arithmetic sequence.

[displaystyle a_n=dfrac{(−1)^{n+1}}{3+2n}]

Example (displaystyle PageIndex{2}): Defined by Recurrence Relations

For each of the following recursively defined sequences, find an explicit formula for the sequence.

1. (displaystyle a_1=2, a_n=−3a_{n−1}) for (displaystyle n≥2)
2. (displaystyle a_1=dfrac{1}{2}, a_n=a_{n−1}+(dfrac{1}{2})^n) for (displaystyle n≥2)

Solution

a. Writing out the first few terms, we have

(displaystyle a_1=2)

(displaystyle a_2=−3a_1=−3(2))

(displaystyle a_3=−3a_2=(−3)^22)

(displaystyle a_4=−3a_3=(−3)^32.)

In general,

(displaystyle a_n=2(−3)^{n−1}.)

b. Write out the first few terms:

(displaystyle a_1=dfrac{1}{2})

(displaystyle a_2=a_1+(dfrac{1}{2})^2=dfrac{1}{2}+dfrac{1}{4}=dfrac{3}{4})

(displaystyle a_3=a_2+(dfrac{1}{2})^3=dfrac{3}{4}+dfrac{1}{8}=dfrac{7}{8})

(displaystyle a_4=a_3+(dfrac{1}{2})^4=dfrac{7}{8}+dfrac{1}{16}=dfrac{15}{16}).

From this pattern, we derive the explicit formula

(displaystyle a_n=dfrac{2^n−1}{2^n}=1−dfrac{1}{2^n}).

Exercise (PageIndex{2})

Find an explicit formula for the sequence defined recursively such that (displaystyle a_1=−4) and (displaystyle a_n=a_{n−1}+6).

Hint

This is an arithmetic sequence.

(displaystyle a_n=6n−10)

## Limit of a Sequence

A fundamental question that arises regarding infinite sequences is the behavior of the terms as (displaystyle n) gets larger. Since a sequence is a function defined on the positive integers, it makes sense to discuss the limit of the terms as (displaystyle n→∞). For example, consider the following four sequences and their different behaviors as (displaystyle n→∞) (Figure (PageIndex{2})):

a. (displaystyle {1+3n}={4,7,10,13,…}.) The terms (displaystyle 1+3n) become arbitrarily large as (displaystyle n→∞). In this case, we say that (displaystyle 1+3n→∞) as (displaystyle n→∞.)

b. (displaystyle {1−(dfrac{1}{2})^n}={dfrac{1}{2},dfrac{3}{4},dfrac{7}{8},dfrac{15}{16},…}.) The terms (displaystyle 1−(dfrac{1}{2})^n→1) as (displaystyle n→∞.)

c. (displaystyle {(−1)^n}={−1,1,−1,1,…}.) The terms alternate but do not approach one single value as (displaystyle n→∞.)

d. (displaystyle {dfrac{(−1)^n}{n}}={−1,dfrac{1}{2},−dfrac{1}{3},dfrac{1}{4},…}.) The terms alternate for this sequence as well, but (displaystyle dfrac{(−1)^n}{n}→0) as (displaystyle n→∞.)

From these examples, we see several possibilities for the behavior of the terms of a sequence as (displaystyle n→∞). In two of the sequences, the terms approach a finite number as (displaystyle n→∞.) In the other two sequences, the terms do not. If the terms of a sequence approach a finite number (displaystyle L) as (displaystyle n→∞), we say that the sequence is a convergent sequence and the real number L is the limit of the sequence. We can give an informal definition here.

Definition: convergent and divergent sequences

Given a sequence (displaystyle {a_n},) if the terms an become arbitrarily close to a finite number (displaystyle L) as n becomes sufficiently large, we say (displaystyle {a_n}) is a convergent sequence and (displaystyle L) is the limit of the sequence. In this case, we write

[lim_{n→∞}a_n=L.]

If a sequence (displaystyle {a_n}) is not convergent, we say it is a divergent sequence.

From Figure, we see that the terms in the sequence (displaystyle {1−(dfrac{1}{2})^n}) are becoming arbitrarily close to (displaystyle 1) as (displaystyle n) becomes very large. We conclude that (displaystyle {1−(dfrac{1}{2})^n}) is a convergent sequence and its limit is (displaystyle 1). In contrast, from Figure, we see that the terms in the sequence (displaystyle 1+3n) are not approaching a finite number as (displaystyle n) becomes larger. We say that (displaystyle {1+3n}) is a divergent sequence.

In the informal definition for the limit of a sequence, we used the terms “arbitrarily close” and “sufficiently large.” Although these phrases help illustrate the meaning of a converging sequence, they are somewhat vague. To be more precise, we now present the more formal definition of limit for a sequence and show these ideas graphically in Figure.

Definition: Convergence

A sequence (displaystyle {a_n}) converges to a real number (displaystyle L) if for all (displaystyle ε>0), there exists an integer (displaystyle N) such that (displaystyle |a_n−L|<ε) if (displaystyle n≥N). The number (displaystyle L) is the limit of the sequence and we write

[lim_{n→∞}a_n=Lora_n→L.]

In this case, we say the sequence (displaystyle {a_n}) is a convergent sequence. If a sequence does not converge, it is a divergent sequence, and we say the limit does not exist.

We remark that the convergence or divergence of a sequence (displaystyle {a_n}) depends only on what happens to the terms (displaystyle a_n) as (displaystyle n→∞). Therefore, if a finite number of terms (displaystyle b_1,b_2,…,b_N) are placed before (displaystyle a_1) to create a new sequence

[displaystyle b_1,b_2,…,b_N,a_1,a_2,…,]

this new sequence will converge if (displaystyle {a_n}) converges and diverge if (displaystyle {a_n}) diverges. Further, if the sequence (displaystyle {a_n}) converges to (displaystyle L), this new sequence will also converge to (displaystyle L).

As defined above, if a sequence does not converge, it is said to be a divergent sequence. For example, the sequences (displaystyle {1+3n}) and (displaystyle {(−1)^n}) shown in Figure diverge. However, different sequences can diverge in different ways. The sequence (displaystyle {(−1)^n}) diverges because the terms alternate between (displaystyle 1) and (displaystyle −1), but do not approach one value as (displaystyle n→∞). On the other hand, the sequence (displaystyle {1+3n}) diverges because the terms (displaystyle 1+3n→∞) as (displaystyle n→∞). We say the sequence (displaystyle {1+3n}) diverges to infinity and write (displaystyle lim_{n→∞}(1+3n)=∞). It is important to recognize that this notation does not imply the limit of the sequence (displaystyle {1+3n}) exists. The sequence is, in fact, divergent. Writing that the limit is infinity is intended only to provide more information about why the sequence is divergent. A sequence can also diverge to negative infinity. For example, the sequence (displaystyle {−5n+2}) diverges to negative infinity because (displaystyle −5n+2→−∞) as (displaystyle n→−∞). We write this as (displaystyle lim_{n→∞}(−5n+2)=→−∞.)

Because a sequence is a function whose domain is the set of positive integers, we can use properties of limits of functions to determine whether a sequence converges. For example, consider a sequence (displaystyle {a_n}) and a related function (displaystyle f) defined on all positive real numbers such that (displaystyle f(n)=a_n) for all integers (displaystyle n≥1). Since the domain of the sequence is a subset of the domain of (displaystyle f), if (displaystyle lim_{x→∞}f(x)) exists, then the sequence converges and has the same limit. For example, consider the sequence (displaystyle {dfrac{1}{n}}) and the related function (displaystyle f(x)=dfrac{1}{x}). Since the function (displaystyle f) defined on all real numbers (displaystyle x>0) satisfies (displaystyle f(x)=dfrac{1}{x}→0) as (displaystyle x→∞), the sequence (displaystyle {dfrac{1}{n}}) must satisfy (displaystyle dfrac{1}{n}→0) as (displaystyle n→∞.)

Limit of a Sequence Defined by a Function

Consider a sequence (displaystyle {a_n}) such that (displaystyle a_n=f(n)) for all (displaystyle n≥1). If there exists a real number (displaystyle L) such that

[displaystyle lim_{x→∞}f(x)=L,]

then (displaystyle {a_n}) converges and

[lim_{n→∞}a_n=L.]

We can use this theorem to evaluate (displaystyle lim_{n→∞}r^n) for (displaystyle 0≤r≤1). For example, consider the sequence (displaystyle {(1/2)^n}) and the related exponential function (displaystyle f(x)=(1/2)^x). Since (displaystyle lim_{x→∞}(1/2)^x=0), we conclude that the sequence (displaystyle {(1/2)^n}) converges and its limit is (displaystyle 0). Similarly, for any real number (displaystyle r) such that (displaystyle 0≤r<1), (displaystyle lim_{x→∞}r^x=0), and therefore the sequence (displaystyle {r^n}) converges. On the other hand, if (displaystyle r=1), then (displaystyle lim_{x→∞}r^x=1), and therefore the limit of the sequence (displaystyle {1^n}) is (displaystyle 1). If (displaystyle r>1), (displaystyle lim_{x→∞}r^x=∞), and therefore we cannot apply this theorem. However, in this case, just as the function (displaystyle r^x) grows without bound as (displaystyle n→∞), the terms (displaystyle r^n) in the sequence become arbitrarily large as (displaystyle n→∞), and we conclude that the sequence (displaystyle {r^n}) diverges to infinity if (displaystyle r>1).

We summarize these results regarding the geometric sequence (displaystyle {r^n}):

(displaystyle r^n→0) if (displaystyle 0

(displaystyle r^n→1) if (displaystyle r=1)

(displaystyle r^n→∞) if (displaystyle r>1).

Later in this section we consider the case when (displaystyle r<0).

We now consider slightly more complicated sequences. For example, consider the sequence (displaystyle {(2/3)^n+(1/4)^n}.) The terms in this sequence are more complicated than other sequences we have discussed, but luckily the limit of this sequence is determined by the limits of the two sequences (displaystyle {(2/3)^n}) and (displaystyle {(1/4)^n}). As we describe in the following algebraic limit laws, since (displaystyle {(2/3)^n}) and (displaystyle {1/4)^n}) both converge to (displaystyle 0), the sequence (displaystyle {(2/3)^n+(1/4)^n}) converges to (displaystyle 0+0=0). Just as we were able to evaluate a limit involving an algebraic combination of functions (displaystyle f) and (displaystyle g) by looking at the limits of (displaystyle f) and (displaystyle g) (see Introduction to Limits), we are able to evaluate the limit of a sequence whose terms are algebraic combinations of (displaystyle a_n) and (displaystyle b_n) by evaluating the limits of (displaystyle {a_n}) and (displaystyle {b_n}).

Algebraic Limit Laws

Given sequences (displaystyle {a_n}) and (displaystyle {b_n}) and any real number (displaystyle c), if there exist constants (displaystyle A) and (displaystyle B) such that (displaystyle lim_{n→∞}a_n=A) and (displaystyle lim_{n→∞}b_n=B), then

1. (displaystyle lim_{n→∞}c=c)
2. (displaystyle lim_{n→∞}ca_n=clim_{n→∞}a_n=cA)
3. (displaystyle lim_{n→∞}(a_n±b_n)=lim_{n→∞}a_n±lim_{n→∞}b_n=A±B)
4. (displaystyle lim_{n→∞}(a_n⋅b_n)=(lim_{n→∞}a_n)⋅(lim_{n→∞}b_n)=A⋅B)
5. (displaystyle lim_{n→∞}(dfrac{a_n}{b_n})=dfrac{lim_{n→∞}a_n}{lim_{n→∞}b_n}=dfrac{A}{B}), provided (displaystyle B≠0) and each (displaystyle b_n≠0.)

Proof

We prove part iii.

Let (displaystyle ϵ>0). Since (displaystyle lim_{n→∞}a_n=A), there exists a constant positive integer (displaystyle N_1) such that for all (displaystyle n≥N_1). Since (displaystyle lim_{n→∞}b_n=B), there exists a constant (displaystyle N_2) such that (displaystyle |b_n−B|<ε/2) for all (displaystyle n≥N_2). Let (displaystyle N) be the largest of (displaystyle N_1) and (displaystyle N_2). Therefore, for all (displaystyle n≥N), (displaystyle |(a_n+b_n)−(A+B)|≤|a_n−A|+|b_n−B|

The algebraic limit laws allow us to evaluate limits for many sequences. For example, consider the sequence (displaystyle {dfrac{1}{n^2}}). As shown earlier, (displaystyle lim_{n→∞}1/n=0). Similarly, for any positive integer (displaystyle k), we can conclude that

[displaystyle lim_{n→∞}dfrac{1}{n^k}=0.]

In the next example, we make use of this fact along with the limit laws to evaluate limits for other sequences.

Example (displaystyle PageIndex{3}): Determining Convergence and Finding Limits

For each of the following sequences, determine whether or not the sequence converges. If it converges, find its limit.

1. (displaystyle {5−dfrac{3}{n^2}})
2. (displaystyle {dfrac{3n^4−7n^2+5}{6−4n^4}})
3. (displaystyle {dfrac{2^n}{n^2}})
4. (displaystyle {(1+dfrac{4}{n})^n})

Solution

a. We know that (displaystyle 1/n→0.) Using this fact, we conclude that

(displaystyle lim_{n→∞}dfrac{1}{n^2}=lim_{n→∞}(dfrac{1}{n}).lim_{n→∞}(dfrac{1}{n})=0.)

Therefore,

(displaystyle lim_{n→∞}(5−dfrac{3}{n^2})=lim_{n→∞}5−3lim_{n→∞}dfrac{1}{n^2}=5−3.0=5.)

The sequence converges and its limit is 5.

b. By factoring (displaystyle n^4) out of the numerator and denominator and using the limit laws above, we have

(displaystyle lim_{n→∞}dfrac{3n^4−7n^2+5}{6−4n^4}=lim_{n→∞}dfrac{3−dfrac{7}{n^2}+dfrac{5}{n^4}}{dfrac{6}{n^4}−4})

(displaystyle =dfrac{lim_{n→∞}(3−dfrac{7}{n^2}+dfrac{5}{n^4})}{lim_{n→∞}(dfrac{6}{n^4}−4)})

(displaystyle =dfrac{(lim_{n→∞}(3)−lim_{n→∞}dfrac{7}{n^2}+lim_{n→∞}dfrac{5}{n^4})}{(lim_{n→∞}dfrac{6}{n^4}−lim_{n→∞}(4))})

(displaystyle =dfrac{(lim_{n→∞}(3)−7⋅lim_{n→∞}dfrac{1}{n^2}+5⋅lim_{n→∞}dfrac{1}{n^4})}{(6⋅lim_{n→∞}dfrac{1}{n^4}−lim_{n→∞}(4))})

(displaystyle =dfrac{3−7⋅0+5⋅0}{6⋅0−4}=−dfrac{3}{4}.)

The sequence converges and its limit is (displaystyle −3/4).

c. Consider the related function (displaystyle f(x)=2^x/x^2) defined on all real numbers (displaystyle x>0). Since (displaystyle 2^x→∞) and (displaystyle x^2→∞) as (displaystyle x→∞), apply L’Hôpital’s rule and write

(displaystyle lim_{x→∞}dfrac{2^x}{x^2}=lim_{x→∞}dfrac{2^xln2}{2x}) Take the derivatives of the numerator and denominator.

(displaystyle =lim_{x→∞}dfrac{2^x(ln2)^2}{2}) Take the derivatives again.

(displaystyle =∞.)

We conclude that the sequence diverges.

d. Consider the function (displaystyle f(x)=(1+dfrac{4}{x})^x) defined on all real numbers (displaystyle x>0). This function has the indeterminate form (displaystyle 1^∞) as (displaystyle x→∞.) Let

(displaystyle y=lim_{x→∞}(1+dfrac{4}{x})^x).

Now taking the natural logarithm of both sides of the equation, we obtain

(displaystyle ln(y)=ln[lim_{x→∞}(1+dfrac{4}{x})^x]).

Since the function (displaystyle f(x)=lnx) is continuous on its domain, we can interchange the limit and the natural logarithm. Therefore,

(displaystyle ln(y)=lim_{x→∞}[ln(1+dfrac{4}{x})^x]).

Using properties of logarithms, we write

(displaystyle lim_{x→∞}[ln(1+dfrac{4}{x})^x]=lim_{x→∞}xln(1+dfrac{4}{x})).

Since the right-hand side of this equation has the indeterminate form (displaystyle ∞⋅0), rewrite it as a fraction to apply L’Hôpital’s rule. Write

(displaystyle lim_{x→∞}xln(1+dfrac{4}{x})=lim_{x→∞}dfrac{ln(1+4/x)}{1/x}).

Since the right-hand side is now in the indeterminate form 0/0, we are able to apply L’Hôpital’s rule. We conclude that

(displaystyle lim_{x→∞}dfrac{ln(1+4/x)}{1/x}=lim_{x→∞}dfrac{4}{1+4/x}=4.)

Therefore, (displaystyle ln(y)=4) and (displaystyle y=e^4). Therefore, since (displaystyle lim_{x→∞}(1+dfrac{4}{x})^x=e^4), we can conclude that the sequence (displaystyle {(1+dfrac{4}{n})^n}) converges to (displaystyle e^4).

Exercise (PageIndex{3})

Consider the sequence (displaystyle {(5n^2+1)/e^n}.) Determine whether or not the sequence converges. If it converges, find its limit.

Hint

Use L’Hôpital’s rule.

The sequence converges, and its limit is (displaystyle 0)

Recall that if (displaystyle f) is a continuous function at a value (displaystyle L), then (displaystyle f(x)→f(L)) as (displaystyle x→L). This idea applies to sequences as well. Suppose a sequence (displaystyle a_n→L), and a function (displaystyle f) is continuous at (displaystyle L). Then (displaystyle f(a_n)→f(L)). This property often enables us to find limits for complicated sequences. For example, consider the sequence (displaystyle sqrt{5−dfrac{3}{n^2}}). From Example a. we know the sequence (displaystyle 5−dfrac{3}{n^2}→5). Since (displaystyle sqrt{x}) is a continuous function at (displaystyle x=5),

[displaystyle lim_{n→∞}sqrt{5−dfrac{3}{n^2}}=sqrt{lim_{n→∞}(5−dfrac{3}{n^2})}=sqrt{5}.]

Continuous Functions Defined on Convergent Sequences

Consider a sequence (displaystyle {a_n}) and suppose there exists a real number (displaystyle L) such that the sequence (displaystyle {a_n}) converges to (displaystyle L). Suppose (displaystyle f) is a continuous function at (displaystyle L). Then there exists an integer (displaystyle N) such that (displaystyle f) is defined at all values an for (displaystyle n≥N), and the sequence (displaystyle {f(a_n)}) converges to (displaystyle f(L)) (Figure (PageIndex{4})).

Proof

Let (displaystyle ϵ>0.) Since (displaystyle f) is continuous at (displaystyle L), there exists (displaystyle δ>0) such that (displaystyle |f(x)−f(L)|<ε) if (displaystyle |x−L|<δ). Since the sequence (displaystyle {a_n}) converges to (displaystyle L), there exists (displaystyle N) such that (displaystyle |a_n−L|<δ) for all (displaystyle n≥N). Therefore, for all (displaystyle n≥N), (displaystyle |a_n−L|<δ), which implies (displaystyle |f(a_n)−f(L)|<ε). We conclude that the sequence (displaystyle {f(a_n)}) converges to (displaystyle f(L)).

Example (displaystyle PageIndex{4}): Limits Involving Continuous Functions Defined on Convergent Sequences

Determine whether the sequence (displaystyle {cos(3/n^2)}) converges. If it converges, find its limit.

Solution:

Since the sequence (displaystyle {3/n^2}) converges to (displaystyle 0) and (displaystyle cosx) is continuous at (displaystyle x=0), we can conclude that the sequence (displaystyle {cos(3/n^2)}) converges and

(displaystyle lim_{n→∞}cos(dfrac{3}{n^2})=cos(0)=1.)

Exercise (PageIndex{4})

Determine if the sequence (displaystyle {sqrt{dfrac{2n+1}{3n+5}}}) converges. If it converges, find its limit.

Hint

Consider the sequence (displaystyle {dfrac{2n+1}{3n+5}}.)

The sequence converges, and its limit is (displaystyle sqrt{2/3}).

Another theorem involving limits of sequences is an extension of the Squeeze Theorem for limits discussed in Introduction to Limits.

Squeeze Theorem for Sequences

Consider sequences (displaystyle {a_n}, {b_n},) and (displaystyle {c_n}). Suppose there exists an integer (displaystyle N) such that

[displaystyle a_n≤b_n≤c_n) for all (displaystyle n≥N.]

If there exists a real number (displaystyle L) such that

[displaystyle lim_{n→∞}a_n=L=lim_{n→∞}c_n,]

then (displaystyle {b_n}) converges and (displaystyle lim_{n→∞}b_n=L) (Figure (PageIndex{5})).

Proof

Let (displaystyle ε>0.) Since the sequence (displaystyle {a_n}) converges to (displaystyle L), there exists an integer (displaystyle N_1) such that (displaystyle |a_n−L|<ε) for all (displaystyle n≥N_1). Similarly, since (displaystyle {c_n}) converges to (displaystyle L), there exists an integer (displaystyle N_2) such that (displaystyle |c_n−L|<ε) for all (displaystyle n≥N_2). By assumption, there exists an integer (displaystyle N) such that (displaystyle a_n≤b_n≤c_n) for all (displaystyle n≥N). Let (displaystyle M) be the largest of (displaystyle N_1,N_2), and (displaystyle N). We must show that (displaystyle |b_n−L|<ε) for all (displaystyle n≥M). For all (displaystyle n≥M),

[displaystyle −ε<−|a_n−L|≤a_n−L≤b_n−L≤c_n−L≤|c_n−L|<ε]

Therefore, (displaystyle −ε

Example (displaystyle PageIndex{5}): Using the Squeeze Theorem

Use the Squeeze Theorem to find the limit of each of the following sequences.

1. (displaystyle {dfrac{cosn}{n^2}})
2. (displaystyle {(−dfrac{1}{2})^n})

Solution:

a. Since (displaystyle −1≤cosn≤1) for all integers (displaystyle n), we have

(displaystyle −dfrac{1}{n^2}≤dfrac{cosn}{n^2}≤dfrac{1}{n^2}.)

Since (displaystyle −1/n^2→0) and (displaystyle 1/n^2→0), we conclude that (displaystyle cosn/n^2→0) as well.

b. Since

(displaystyle −dfrac{1}{2^n}^≤(−dfrac{1}{2})^n≤dfrac{1}{2^n})

for all positive integers (displaystyle n, −1/2^n→0) and (displaystyle 1/2^n→0,) we can conclude that (displaystyle (−1/2)^n→0.)

Exercise (PageIndex{5})

Find (displaystyle lim_{n→∞}dfrac{2n−sinn}{n}.)

Hint

Use the fact that (displaystyle −1≤sinn≤1.)

(displaystyle 2)

Using the idea from Exampleb. we conclude that (displaystyle r^n→0) for any real number r such that (displaystyle −1

[displaystyle r^n→0 ext{ if } displaystyle |r|<1]

[displaystyle r^n→1 ext{ if } displaystyle r=1]

[displaystyle r^n→∞ ext{ if } displaystyle r>1]

[displaystyle {r^n}) diverges ext{ if } displaystyle r≤−1]

## Bounded Sequences

We now turn our attention to one of the most important theorems involving sequences: the Monotone Convergence Theorem. Before stating the theorem, we need to introduce some terminology and motivation. We begin by defining what it means for a sequence to be bounded.

Definition: Bound Sequences

A sequence (displaystyle {a_n}) is bounded above if there exists a real number (displaystyle M) such that

(displaystyle a_n≤M)

for all positive integers (displaystyle n).

A sequence (displaystyle {a_n}) is bounded below if there exists a real number (displaystyle M) such that

(displaystyle M≤a_n)

for all positive integers (displaystyle n).

A sequence (displaystyle {a_n}) is a bounded sequence if it is bounded above and bounded below.

If a sequence is not bounded, it is an unbounded sequence.

For example, the sequence (displaystyle {1/n}) is bounded above because (displaystyle 1/n≤1) for all positive integers (displaystyle n). It is also bounded below because (displaystyle 1/n≥0) for all positive integers (displaystyle n). Therefore, (displaystyle {1/n}) is a bounded sequence. On the other hand, consider the sequence (displaystyle {2^n}). Because (displaystyle 2^n≥2) for all (displaystyle n≥1), the sequence is bounded below. However, the sequence is not bounded above. Therefore, (displaystyle {2^n}) is an unbounded sequence.

We now discuss the relationship between boundedness and convergence. Suppose a sequence (displaystyle {a_n}) is unbounded. Then it is not bounded above, or not bounded below, or both. In either case, there are terms an that are arbitrarily large in magnitude as (displaystyle n) gets larger. As a result, the sequence (displaystyle {a_n}) cannot converge. Therefore, being bounded is a necessary condition for a sequence to converge.

Convergent Sequences Are Bounded

If a sequence (displaystyle {a_n}) converges, then it is bounded.

Note that a sequence being bounded is not a sufficient condition for a sequence to converge. For example, the sequence (displaystyle {(−1)^n}) is bounded, but the sequence diverges because the sequence oscillates between (displaystyle 1) and (displaystyle −1) and never approaches a finite number. We now discuss a sufficient (but not necessary) condition for a bounded sequence to converge.

Consider a bounded sequence (displaystyle {a_n}). Suppose the sequence (displaystyle {a_n}) is increasing. That is, (displaystyle a_1≤a_2≤a_3….) Since the sequence is increasing, the terms are not oscillating. Therefore, there are two possibilities. The sequence could diverge to infinity, or it could converge. However, since the sequence is bounded, it is bounded above and the sequence cannot diverge to infinity. We conclude that (displaystyle {a_n}) converges. For example, consider the sequence

[displaystyle {dfrac{1}{2},dfrac{2}{3},dfrac{3}{4},dfrac{4}{5},…}.]

Since this sequence is increasing and bounded above, it converges. Next, consider the sequence

[displaystyle {2,0,3,0,4,0,1,−dfrac{1}{2},−dfrac{1}{3},−dfrac{1}{4},…}.]

Even though the sequence is not increasing for all values of (displaystyle n), we see that (displaystyle −1/2<−1/3<−1/4<⋯). Therefore, starting with the eighth term, (displaystyle a_8=−1/2), the sequence is increasing. In this case, we say the sequence is eventually increasing. Since the sequence is bounded above, it converges. It is also true that if a sequence is decreasing (or eventually decreasing) and bounded below, it also converges.

Definition

A sequence (displaystyle {a_n}) is increasing for all (displaystyle n≥n_0) if

(displaystyle a_n≤a)n+1) for all (displaystyle n≥n_0).

A sequence (displaystyle {a_n}) is decreasing for all (displaystyle n≥n_0) if

(displaystyle a_n≥a_{n+1}) for all (displaystyle n≥n_0).

A sequence (displaystyle {a_n}) is a monotone sequence for all (displaystyle n≥n_0) if it is increasing for all (n≥n_0) or decreasing for all (displaystyle n≥n_0).

We now have the necessary definitions to state the Monotone Convergence Theorem, which gives a sufficient condition for convergence of a sequence.

Definition: Monotone Convergence Theorem

If (displaystyle {a_n}) is a bounded sequence and there exists a positive integer n0 such that (displaystyle {a_n}) is monotone for all (displaystyle n≥n_0), then (displaystyle {a_n}) converges.

The proof of this theorem is beyond the scope of this text. Instead, we provide a graph to show intuitively why this theorem makes sense (Figure (PageIndex{6})).

In the following example, we show how the Monotone Convergence Theorem can be used to prove convergence of a sequence.

Example (displaystyle PageIndex{6}): Using the Monotone Convergence Theorem

For each of the following sequences, use the Monotone Convergence Theorem to show the sequence converges and find its limit.

1. (displaystyle {dfrac{4^n}{n!}})
2. (displaystyle {a_n}) defined recursively such that [displaystyle a_1=2) and (displaystyle a_{n+1}=dfrac{a_n}{2}+dfrac{1}{2a_n}) for all (displaystyle n≥2.]

Solution:

a. Writing out the first few terms, we see that

(displaystyle {dfrac{4^n}{n!}}={4,8,dfrac{32}{3},dfrac{32}{3},dfrac{128}{15},…}.)

At first, the terms increase. However, after the third term, the terms decrease. In fact, the terms decrease for all (displaystyle n≥3). We can show this as follows.

(displaystyle a_{n+1}=dfrac{4^{n+1}}{(n+1)!}=dfrac{4}{n+1}⋅dfrac{4^n}{n!}=dfrac{4}{n+1}⋅a_n≤a_n) if (displaystyle n≥3.)

Therefore, the sequence is decreasing for all (displaystyle n≥3). Further, the sequence is bounded below by (displaystyle 0) because (displaystyle 4n/n!≥0) for all positive integers (displaystyle n). Therefore, by the Monotone Convergence Theorem, the sequence converges.

To find the limit, we use the fact that the sequence converges and let (displaystyle L=lim_{n→∞}a_n). Now note this important observation. Consider (displaystyle lim_{n→∞}a_{n+1}). Since

(displaystyle {a_{n+1}}={a_2,a_3,a_4,…},)

the only difference between the sequences (displaystyle {a_{n+1}}) and (displaystyle {a_n}) is that (displaystyle {a_{n+1}}) omits the first term. Since a finite number of terms does not affect the convergence of a sequence,

(displaystyle lim_{n→∞}a_{n+1}=lim_{n→∞}a_n=L.)

Combining this fact with the equation

(displaystyle a_{n+1}=dfrac{4}{n+1}a_n)

and taking the limit of both sides of the equation

(displaystyle lim_{n→∞}a_{n+1}=lim_{n→∞}dfrac{4}{n+1}a_n),

we can conclude that

(displaystyle L=0⋅L=0.)

b. Writing out the first several terms,

(displaystyle {2,dfrac{5}{4},dfrac{41}{40},dfrac{3281}{3280},…}.)

we can conjecture that the sequence is decreasing and bounded below by (displaystyle 1). To show that the sequence is bounded below by (displaystyle 1), we can show that

(displaystyle dfrac{a_n}{2}+dfrac{1}{2a_n}≥1.)

To show this, first rewrite

(displaystyle dfrac{a_n}{2}+dfrac{1}{2a_n}=dfrac{a^2_n+1}{2a_n}).

Since (displaystyle a_1>0) and (displaystyle a_2) is defined as a sum of positive terms, (displaystyle a_2>0.) Similarly, all terms (displaystyle a_n>0). Therefore,

(displaystyle dfrac{a^2n+1}{2a_n}≥1)

if and only if

(displaystyle a^2_n+1≥2a_n).

Rewriting the inequality (displaystyle a^2_n+1≥2a_n) as (displaystyle a^2_n−2a_n+1≥0), and using the fact that

(displaystyle a^2_n−2a_n+1=(a_n−1)^2≥0)

because the square of any real number is nonnegative, we can conclude that

(displaystyle dfrac{a^n}{2}+dfrac{1}{2a_n}≥1.)

To show that the sequence is decreasing, we must show that (displaystyle a_{n+1}≤a_n) for all (displaystyle n≥1). Since (displaystyle 1≤a^2_n), it follows that

(displaystyle a^2_n+1≤2a^2_n).

Dividing both sides by (displaystyle 2a_n), we obtain

(displaystyle dfrac{a_n}{2}+dfrac{1}{2a_n}≤a_n.)

Using the definition of (displaystyle a_{n+1}), we conclude that

(displaystyle a_{n+1}=dfrac{a_n}{2}+dfrac{1}{2a_n}≤a_n).

Since (displaystyle {a_n}) is bounded below and decreasing, by the Monotone Convergence Theorem, it converges.

To find the limit, let (displaystyle L=lim_{n→∞}a_n). Then using the recurrence relation and the fact that (displaystyle lim_{n→∞}a_n=lim_{n→∞}a_{n+1}), we have

(displaystyle lim_{n→∞}a_{n+1}=lim_{n→∞}(dfrac{a_n}{2}+dfrac{1}{2a_n})),

and therefore

(displaystyle L=dfrac{L}{2}+dfrac{1}{2L}).

Multiplying both sides of this equation by (displaystyle 2L), we arrive at the equation

(displaystyle 2L^2=L^2+1).

Solving this equation for (displaystyle L), we conclude that (displaystyle L^2=1), which implies (displaystyle L=±1). Since all the terms are positive, the limit (displaystyle L=1).

Exercise (PageIndex{6})

Consider the sequence (displaystyle {a_n}) defined recursively such that (displaystyle a_1=1), (displaystyle a_n=a_{n−1}/2). Use the Monotone Convergence Theorem to show that this sequence converges and find its limit.

Hint

Show the sequence is decreasing and bounded below.

(displaystyle 0).

Definition: Fibonacci Numbers

The Fibonacci numbers are defined recursively by the sequence (displaystyle {F_n}) where (displaystyle F_0=0, F_1=1) and for (displaystyle n≥2,)

(displaystyle F_n=F_{n−1}+F_{n−2}.)

Here we look at properties of the Fibonacci numbers.

1. Write out the first twenty Fibonacci numbers.

2. Find a closed formula for the Fibonacci sequence by using the following steps.

a. Consider the recursively defined sequence (displaystyle {x_n}) where (displaystyle x_o=c) and (displaystyle x_{n+1}=ax_n). Show that this sequence can be described by the closed formula (displaystyle x_n=ca^n) for all (displaystyle n≥0.)

b. Using the result from part a. as motivation, look for a solution of the equation

(displaystyle F_n=F_{n−1}+F_{n−2})

of the form (displaystyle F_n=cλ^n). Determine what two values for (displaystyle λ) will allow (displaystyle F_n) to satisfy this equation.

c. Consider the two solutions from part b.: (displaystyle λ_1) and (displaystyle λ_2). Let (displaystyle F_n=c_1λ_1^n+c_2λ_2^n). Use the initial conditions (displaystyle F_0) and (displaystyle F_1) to determine the values for the constants (displaystyle c_1) and (displaystyle c_2) and write the closed formula (displaystyle F_n).

3. Use the answer in 2 c. to show that

[displaystyle lim_{n→∞}dfrac{F_{n+1}}{F_n}=dfrac{1+sqrt{5}}{2}.]

The number (displaystyle ϕ=(1+sqrt{5})/2) is known as the golden ratio (Figure and Figure).

## Key Concepts

• To determine the convergence of a sequence given by an explicit formula (displaystyle a_n=f(n)), we use the properties of limits for functions.
• If (displaystyle {a_n}) and (displaystyle {b_n}) are convergent sequences that converge to A and B, respectively, and c is any real number, then the sequence (displaystyle {ca_n} )converges to c⋅A, the sequences {an±bn} converge to A±B, the sequence {an⋅bn} converges to A⋅B, and the sequence {an/bn} converges to A/B, provided B≠0.
• If a sequence is bounded and monotone, then it converges, but not all convergent sequences are monotone.
• If a sequence is unbounded, it diverges, but not all divergent sequences are unbounded.
• The geometric sequence (displaystyle {r^n}) converges if and only if (displaystyle |r|<1) or (displaystyle r=1).

## Glossary

arithmetic sequence
a sequence in which the difference between every pair of consecutive terms is the same is called an arithmetic sequence
bounded above
a sequence (displaystyle {a_n}) is bounded above if there exists a constant (displaystyle M) such that (displaystyle a_n≤M) for all positive integers (displaystyle n)
bounded below
a sequence (displaystyle {a_n}) is bounded below if there exists a constant (displaystyle M) such that (displaystyle M≤a_n) for all positive integers (displaystyle n)
bounded sequence
a sequence (displaystyle {a_n}) is bounded if there exists a constant (displaystyle M) such that (displaystyle |a_n|≤M) for all positive integers (displaystyle n)
convergent sequence
a convergent sequence is a sequence (displaystyle {a_n}) for which there exists a real number (displaystyle L) such that (displaystyle a_n) is arbitrarily close to (displaystyle L) as long as (displaystyle n) is sufficiently large
divergent sequence
a sequence that is not convergent is divergent
explicit formula
a sequence may be defined by an explicit formula such that (displaystyle a_n=f(n))
geometric sequence
a sequence (displaystyle {a_n}) in which the ratio (displaystyle a_{n+1}/a_n) is the same for all positive integers (displaystyle n) is called a geometric sequence
index variable
the subscript used to define the terms in a sequence is called the index
limit of a sequence
the real number LL to which a sequence converges is called the limit of the sequence
monotone sequence
an increasing or decreasing sequence
recurrence relation
a recurrence relation is a relationship in which a term (a_n) in a sequence is defined in terms of earlier terms in the sequence
sequence
an ordered list of numbers of the form (displaystyle a_1,a_2,a_3,…) is a sequence
term
the number (displaystyle a_n) in the sequence (displaystyle {a_n}) is called the (displaystyle nth) term of the sequence
unbounded sequence
a sequence that is not bounded is called unbounded