Skills Review for Sequences

Learning Outcomes

  • Write the terms of a sequence defined by a recursive formula
  • Calculate the limit of a function as π‘₯ increases or decreases without bound
  • Recognize when to apply L’HΓ΄pital’s rule

In the Sequences section, we will look at ordered lists of numbers (sequences) and determine whether they converge or diverge. Here we will review how to evaluate a recursive (recurrence) formula, take limits at infinity, and apply L’HΓ΄pital’s Rule.

Use a Recursive Formula

A recursive formula is a formula that defines its value at a particular input using the result of the previous input(s).

A recursive formula always has two parts: the value of an initial input and an equation defining each term in terms of preceding terms. For example, suppose we know the following:

a1=3an=2anβˆ’1βˆ’1, for nβ‰₯2a1=3an=2anβˆ’1βˆ’1, for nβ‰₯2
We can find the subsequent terms of the recursive formula using the first term.
a1=3a2=2a1βˆ’1=2(3)βˆ’1=5a3=2a2βˆ’1=2(5)βˆ’1=9a4=2a3βˆ’1=2(9)βˆ’1=17a1=3a2=2a1βˆ’1=2(3)βˆ’1=5a3=2a2βˆ’1=2(5)βˆ’1=9a4=2a3βˆ’1=2(9)βˆ’1=17

So, the first four terms are 3,5,9, and,173,5,9, and,17.

How To: Given a recursive formula with only the first term provided, write the first nn terms of a sequence.

  1. Identify the initial term, a1a1, which is given as part of the formula. This is the first term.
  2. To find the second term, a2a2, substitute the initial term into the formula for anβˆ’1anβˆ’1. Solve.
  3. To find the third term, a3a3, substitute the second term into the formula. Solve.
  4. Repeat until you have solved for the nthnth term.

Example: Writing the Terms of a Sequence Defined by a Recursive Formula

Write the first five terms of the sequence defined by the recursive formula.

a1=9an=3anβˆ’1βˆ’20, for nβ‰₯2a1=9an=3anβˆ’1βˆ’20, for nβ‰₯2

Try It

Write the first five terms of the sequence defined by the recursive formula.

a1=2an=2anβˆ’1+1, for nβ‰₯2a1=2an=2anβˆ’1+1, for nβ‰₯2

Try It

Take Limits at Infinity

Recall that limxβ†’af(x)=Llimxβ†’af(x)=L means f(x)f(x) becomes arbitrarily close to LL as long as xx is sufficiently close to aa. We can extend this idea to limits at infinity. For example, consider the function f(x)=2+1xf(x)=2+1x. As can be seen graphically in Figure 1 and numerically in the table beneath it, as the values of xx get larger, the values of f(x)f(x) approach 2. We say the limit as xx approaches ∞∞ of f(x)f(x) is 2 and write limxβ†’βˆžf(x)=2limxβ†’βˆžf(x)=2. Similarly, for x<0x<0, as the values |x||x| get larger, the values of f(x)f(x) approaches 2. We say the limit as xx approaches βˆ’βˆžβˆ’βˆž of f(x)f(x) is 2 and write limxβ†’af(x)=2limxβ†’af(x)=2.

The function f(x) 2 + 1/x is graphed. The function starts negative near y = 2 but then decreases to βˆ’βˆž near x = 0. The function then decreases from ∞ near x = 0 and gets nearer to y = 2 as x increases. There is a horizontal line denoting the asymptote y = 2.

Figure 1. The function approaches the asymptote y=2y=2 as xx approaches ±∞±∞.

Values of a function ff as xβ†’Β±βˆžxβ†’Β±βˆž
xx 10 100 1,000 10,000
2+1x2+1x 2.1 2.01 2.001 2.0001
xx -10 -100 -1000 -10,000
2+1x2+1x 1.9 1.99 1.999 1.9999

More generally, for any function ff, we say the limit as xβ†’βˆžxβ†’βˆž of f(x)f(x) is LL if f(x)f(x) becomes arbitrarily close to LL as long as xx is sufficiently large. In that case, we write limxβ†’βˆžf(x)=Llimxβ†’βˆžf(x)=L. Similarly, we say the limit as xβ†’βˆ’βˆžxβ†’βˆ’βˆž of f(x)f(x) is LL if f(x)f(x) becomes arbitrarily close to LL as long as x<0x<0 and |x||x| is sufficiently large. In that case, we write limxβ†’βˆ’βˆžf(x)=Llimxβ†’βˆ’βˆžf(x)=L. We now look at the definition of a function having a limit at infinity.

Definition


(Informal) If the values of f(x)f(x) become arbitrarily close to LL as xx becomes sufficiently large, we say the function ff has a limit at infinity and write

limxβ†’βˆžf(x)=Llimxβ†’βˆžf(x)=L

 

If the values of f(x)f(x) becomes arbitrarily close to LL for x<0x<0 as |x||x| becomes sufficiently large, we say that the function ff has a limit at negative infinity and write

limxβ†’βˆ’βˆžf(x)=Llimxβ†’βˆ’βˆžf(x)=L

 

If the values f(x)f(x) are getting arbitrarily close to some finite value LL as xβ†’βˆžxβ†’βˆž or xβ†’βˆ’βˆžxβ†’βˆ’βˆž, the graph of ff approaches the line y=Ly=L. In that case, the line y=Ly=L is a horizontal asymptote of ff (Figure 2). For example, for the function f(x)=1xf(x)=1x, since limxβ†’βˆžf(x)=0limxβ†’βˆžf(x)=0, the line y=0y=0 is a horizontal asymptote of f(x)=1xf(x)=1x.

Definition


If limxβ†’βˆžf(x)=Llimxβ†’βˆžf(x)=L or limxβ†’βˆ’βˆžf(x)=Llimxβ†’βˆ’βˆžf(x)=L, we say the line y=Ly=L is a horizontal asymptote of ff.

The figure is broken up into two figures labeled a and b. Figure a shows a function f(x) approaching but never touching a horizontal dashed line labeled L from above. Figure b shows a function f(x) approaching but never a horizontal dashed line labeled M from below.

Figure 2. (a) As xβ†’βˆžxβ†’βˆž, the values of ff are getting arbitrarily close to LL. The line y=Ly=L is a horizontal asymptote of ff. (b) As xβ†’βˆ’βˆžxβ†’βˆ’βˆž, the values of ff are getting arbitrarily close to MM. The line y=My=M is a horizontal asymptote of ff.

A function cannot cross a vertical asymptote because the graph must approach infinity (or negative infinity) from at least one direction as xx approaches the vertical asymptote. However, a function may cross a horizontal asymptote. In fact, a function may cross a horizontal asymptote an unlimited number of times. For example, the function f(x)=cosxx+1f(x)=cosxx+1 shown in Figure 3 intersects the horizontal asymptote y=1y=1 an infinite number of times as it oscillates around the asymptote with ever-decreasing amplitude.

The function f(x) = (cos x)/x + 1 is shown. It decreases from (0, ∞) and then proceeds to oscillate around y = 1 with decreasing amplitude.

Figure 3. The graph of f(x)=cosx/x+1f(x)=cosx/x+1 crosses its horizontal asymptote y=1y=1 an infinite number of times.

Example: Computing Limits at Infinity

For each of the following functions ff, evaluate limxβ†’βˆžf(x)limxβ†’βˆžf(x) and limxβ†’βˆ’βˆžf(x)limxβ†’βˆ’βˆžf(x).

  1. f(x)=5βˆ’2x2f(x)=5βˆ’2x2
  2. f(x)=sinxxf(x)=sinxx
  3. f(x)=tanβˆ’1(x)f(x)=tanβˆ’1(x)

Try It

Evaluate limxβ†’βˆ’βˆž(3+4x)limxβ†’βˆ’βˆž(3+4x) and limxβ†’βˆž(3+4x)limxβ†’βˆž(3+4x). Determine the horizontal asymptotes of f(x)=3+4xf(x)=3+4x, if any.

Infinite Limits at Infinity

Sometimes the values of a function ff become arbitrarily large as xβ†’βˆžxβ†’βˆž (or as xβ†’βˆ’βˆž)xβ†’βˆ’βˆž). In this case, we write limxβ†’βˆžf(x)=∞limxβ†’βˆžf(x)=∞ (or limxβ†’βˆ’βˆžf(x)=∞)limxβ†’βˆ’βˆžf(x)=∞). On the other hand, if the values of ff are negative but become arbitrarily large in magnitude as xβ†’βˆžxβ†’βˆž (or as xβ†’βˆ’βˆž)xβ†’βˆ’βˆž), we write limxβ†’βˆžf(x)=βˆ’βˆžlimxβ†’βˆžf(x)=βˆ’βˆž (or limxβ†’βˆ’βˆžf(x)=βˆ’βˆž)limxβ†’βˆ’βˆžf(x)=βˆ’βˆž).

For example, consider the function f(x)=x3f(x)=x3. As seen in the table below and Figure 2, as xβ†’βˆžxβ†’βˆž the values f(x)f(x) become arbitrarily large. Therefore, limxβ†’βˆžx3=∞limxβ†’βˆžx3=∞. On the other hand, as xβ†’βˆ’βˆžxβ†’βˆ’βˆž, the values of f(x)=x3f(x)=x3 are negative but become arbitrarily large in magnitude. Consequently, limxβ†’βˆ’βˆžx3=βˆ’βˆžlimxβ†’βˆ’βˆžx3=βˆ’βˆž.

Values of a power function as xβ†’Β±βˆžxβ†’Β±βˆž
xx 10 20 50 100 1000
x3x3 1000 8000 125,000 1,000,000 1,000,000,000
xx -10 -20 -50 -100 -1000
x3x3 -1000 -8000 -125,000 -1,000,000 -1,000,000,000
The function f(x) = x3 is graphed. It is apparent that this function rapidly approaches infinity as x approaches infinity.

Figure 2. For this function, the functional values approach infinity as xβ†’Β±βˆžxβ†’Β±βˆž.

Definition


(Informal) We say a function ff has an infinite limit at infinity and write

limxβ†’βˆžf(x)=∞limxβ†’βˆžf(x)=∞

 

if f(x)f(x) becomes arbitrarily large for xx sufficiently large. We say a function has a negative infinite limit at infinity and write

limxβ†’βˆžf(x)=βˆ’βˆžlimxβ†’βˆžf(x)=βˆ’βˆž

 

if f(x)<0f(x)<0 and |f(x)||f(x)| becomes arbitrarily large for xx sufficiently large. Similarly, we can define infinite limits as xβ†’βˆ’βˆžxβ†’βˆ’βˆž.

Try It

Find limxβ†’βˆž3x2limxβ†’βˆž3x2.

Try It

Apply L’HΓ΄pital’s Rule

L’HΓ΄pital’s rule can be used to evaluate limits involving the quotient of two functions. Consider

limx→af(x)g(x)limx→af(x)g(x)

 

If limx→af(x)=L1limx→af(x)=L1 and limx→ag(x)=L2≠0limx→ag(x)=L2≠0, then

limx→af(x)g(x)=L1L2limx→af(x)g(x)=L1L2

 

However, what happens if limx→af(x)=0limx→af(x)=0 and limx→ag(x)=0limx→ag(x)=0? We call this one of the indeterminate forms, of type 0000. This is considered an indeterminate form because we cannot determine the exact behavior of f(x)g(x)f(x)g(x) as x→ax→a without further analysis. We have seen examples of this earlier in the text. For example, consider

limxβ†’2x2βˆ’4xβˆ’2limxβ†’2x2βˆ’4xβˆ’2 and limxβ†’0sinxxlimxβ†’0sinxx

 

For the first of these examples, we can evaluate the limit by factoring the numerator and writing

limxβ†’2x2βˆ’4xβˆ’2=limxβ†’2(x+2)(xβˆ’2)xβˆ’2=limxβ†’2(x+2)=2+2=4limxβ†’2x2βˆ’4xβˆ’2=limxβ†’2(x+2)(xβˆ’2)xβˆ’2=limxβ†’2(x+2)=2+2=4

For limx→0sinxxlimx→0sinxx we were able to show, using a geometric argument, that

limx→0sinxx=1limx→0sinxx=1

 

Here we use a different technique for evaluating limits such as these. Not only does this technique provide an easier way to evaluate these limits, but also, and more important, it provides us with a way to evaluate many other limits that we could not calculate previously.

The idea behind L’HΓ΄pital’s rule can be explained using local linear approximations. Consider two differentiable functions ff and gg such that limxβ†’af(x)=0=limxβ†’ag(x)limxβ†’af(x)=0=limxβ†’ag(x) and such that gβ€²(a)β‰ 0gβ€²(a)β‰ 0 For xx near aa, we can write

f(x)β‰ˆf(a)+fβ€²(a)(xβˆ’a)f(x)β‰ˆf(a)+fβ€²(a)(xβˆ’a)

 

and

g(x)β‰ˆg(a)+gβ€²(a)(xβˆ’a)g(x)β‰ˆg(a)+gβ€²(a)(xβˆ’a)

 

Therefore,

f(x)g(x)β‰ˆf(a)+fβ€²(a)(xβˆ’a)g(a)+gβ€²(a)(xβˆ’a)f(x)g(x)β‰ˆf(a)+fβ€²(a)(xβˆ’a)g(a)+gβ€²(a)(xβˆ’a)

 

Two functions y = f(x) and y = g(x) are drawn such that they cross at a point above x = a. The linear approximations of these two functions y = f(a) + f’(a)(x – a) and y = g(a) + g’(a)(x – a) are also drawn.

Figure 1. If limx→af(x)=limx→ag(x)limx→af(x)=limx→ag(x), then the ratio f(x)/g(x)f(x)/g(x) is approximately equal to the ratio of their linear approximations near aa.

Since ff is differentiable at aa, then ff is continuous at aa, and therefore f(a)=limx→af(x)=0f(a)=limx→af(x)=0. Similarly, g(a)=limx→ag(x)=0g(a)=limx→ag(x)=0. If we also assume that f′f′ and g′g′ are continuous at x=ax=a, then f′(a)=limx→af′(x)f′(a)=limx→af′(x) and g′(a)=limx→ag′(x)g′(a)=limx→ag′(x). Using these ideas, we conclude that

limxβ†’af(x)g(x)=limxβ†’afβ€²(x)(xβˆ’a)gβ€²(x)(xβˆ’a)=limxβ†’afβ€²(x)gβ€²(x)limxβ†’af(x)g(x)=limxβ†’afβ€²(x)(xβˆ’a)gβ€²(x)(xβˆ’a)=limxβ†’afβ€²(x)gβ€²(x)

Note that the assumption that fβ€²fβ€² and gβ€²gβ€² are continuous at aa and gβ€²(a)β‰ 0gβ€²(a)β‰ 0 can be loosened. We state L’HΓ΄pital’s rule formally for the indeterminate form 0000. Also note that the notation 0000 does not mean we are actually dividing zero by zero. Rather, we are using the notation 0000 to represent a quotient of limits, each of which is zero.

L’HΓ΄pital’s Rule (0/0 Case)


Suppose ff and gg are differentiable functions over an open interval containing aa, except possibly at aa. If limx→af(x)=0limx→af(x)=0 and limx→ag(x)=0limx→ag(x)=0, then

limx→af(x)g(x)=limx→af′(x)g′(x)limx→af(x)g(x)=limx→af′(x)g′(x),

 

assuming the limit on the right exists or is ∞∞ or βˆ’βˆžβˆ’βˆž. This result also holds if we are considering one-sided limits, or if a=∞a=∞ or βˆ’βˆžβˆ’βˆž.

Example: Applying L’HΓ΄pital’s Rule (0/0 Case)

Evaluate each of the following limits by applying L’HΓ΄pital’s rule.

  1. limxβ†’01βˆ’cosxxlimxβ†’01βˆ’cosxx
  2. limx→1sin(πx)lnxlimx→1sin(πx)lnx
  3. limxβ†’βˆže1xβˆ’11xlimxβ†’βˆže1xβˆ’11x
  4. limxβ†’0sinxβˆ’xx2limxβ†’0sinxβˆ’xx2

Try It

Evaluate limx→0xtanxlimx→0xtanx.

We can also use L’HΓ΄pital’s rule to evaluate limits of quotients f(x)g(x)f(x)g(x) in which f(x)β†’Β±βˆžf(x)β†’Β±βˆž and g(x)β†’Β±βˆžg(x)β†’Β±βˆž. Limits of this form are classified as indeterminate forms of type ∞/∞∞/∞. Again, note that we are not actually dividing ∞∞ by ∞∞. Since ∞∞ is not a real number, that is impossible; rather, ∞/∞∞/∞ is used to represent a quotient of limits, each of which is ∞∞ or βˆ’βˆžβˆ’βˆž.

L’HΓ΄pital’s Rule (∞/∞∞/∞ Case)


Suppose ff and gg are differentiable functions over an open interval containing aa, except possibly at aa. Suppose limxβ†’af(x)=∞limxβ†’af(x)=∞ (or βˆ’βˆžβˆ’βˆž) and limxβ†’ag(x)=∞limxβ†’ag(x)=∞ (or βˆ’βˆžβˆ’βˆž). Then,

limx→af(x)g(x)=limx→af′(x)g′(x)limx→af(x)g(x)=limx→af′(x)g′(x),

 

assuming the limit on the right exists or is ∞∞ or βˆ’βˆžβˆ’βˆž. This result also holds if the limit is infinite, if a=∞a=∞ or βˆ’βˆžβˆ’βˆž, or the limit is one-sided.

Example: Applying L’HΓ΄pital’s Rule (∞/∞∞/∞ Case)

Evaluate each of the following limits by applying L’HΓ΄pital’s rule.

  1. limxβ†’βˆž3x+52x+1limxβ†’βˆž3x+52x+1
  2. limx→0+lnxcotxlimx→0+lnxcotx

Try It

Evaluate limxβ†’βˆžlnx5xlimxβ†’βˆžlnx5x