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:
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.
- Identify the initial term, a1a1, which is given as part of the formula. This is the first term.
- To find the second term, a2a2, substitute the initial term into the formula for anβ1anβ1. Solve.
- To find the third term, a3a3, substitute the second term into the formula. Solve.
- 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.

Figure 1. The function approaches the asymptote y=2y=2 as xx approaches Β±βΒ±β.
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
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
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.

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.

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).
- f(x)=5β2x2f(x)=5β2x2
- f(x)=sinxxf(x)=sinxx
- 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=ββ.
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 |

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
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
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
If limxβaf(x)=L1limxβaf(x)=L1 and limxβag(x)=L2β 0limxβag(x)=L2β 0, then
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
For the first of these examples, we can evaluate the limit by factoring the numerator and writing
For limxβ0sinxxlimxβ0sinxx we were able to show, using a geometric argument, that
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
and
Therefore,

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
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
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.
- limxβ01βcosxxlimxβ01βcosxx
- limxβ1sin(Οx)lnxlimxβ1sin(Οx)lnx
- limxββe1xβ11xlimxββe1xβ11x
- 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,
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.
- limxββ3x+52x+1limxββ3x+52x+1
- limxβ0+lnxcotxlimxβ0+lnxcotx
Try It
Evaluate limxββlnx5xlimxββlnx5x
Candela Citations
- Modification and Revision. Provided by: Lumen Learning. License: CC BY: Attribution
- College Algebra Corequisite. Provided by: Lumen Learning. Located at: https://courses.lumenlearning.com/waymakercollegealgebracorequisite/. License: CC BY: Attribution
- Precalculus. Provided by: Lumen Learning. Located at: https://courses.lumenlearning.com/precalculus/. License: CC BY: Attribution