2.6: Limits at Infinity
- Last updated
- Mar 16, 2023
- Save as PDF
- Page ID
- 123876
( \newcommand{\kernel}{\mathrm{null}\,}\)
Learning Objectives
- Calculate the limit of a function as x increases or decreases without bound.
- Recognize a horizontal asymptote on the graph of a function.
In this section, we define limits at infinity and show how these limits affect the graph of a function.
We begin by examining what it means for a function to have a finite limit at infinity. Then we study the idea of a function with an infinite limit at infinity.
Limits at Infinity and Horizontal Asymptotes
Recall that limx→af(x)=L means f(x) becomes arbitrarily close to L as long as x is sufficiently close to a. We can extend this idea to limits at infinity. For example, consider the function f(x)=2+1x. As can be seen graphically in Figure 2.6.1 and numerically in Table 2.6.1, as the values of x get larger, the values of f(x) approach 2. We say the limit as x approaches ∞ of f(x) is 2 and write limx→∞f(x)=2. Similarly, for x<0, as the values |x| get larger, the values of f(x) approach 2. We say the limit as x approaches −∞ of f(x) is 2 and write limx→−∞f(x)=2.

x | 10 | 100 | 1,000 | 10,000 |
---|---|---|---|---|
2+1x | 2.1 | 2.01 | 2.001 | 2.0001 |
x | −10 | −100 | −1000 | −10,000 |
2+1x | 1.9 | 1.99 | 1.999 | 1.9999 |
More generally, for any function f, we say the limit as x→∞ of f(x) is L if f(x) becomes arbitrarily close to L as long as x is sufficiently large. In that case, we write limx→∞f(x)=L. Similarly, we say the limit as x→−∞ of f(x) is L if f(x) becomes arbitrarily close to L as long as x<0 and |x| is sufficiently large. In that case, we write limx→−∞f(x)=L. We now look at the definition of a function having a limit at infinity.
Definition: Limit at Infinity (Informal)
If the values of f(x) become arbitrarily close to L as x becomes sufficiently large, we say the function f has a limit at infinity and write
limx→∞f(x)=L.
If the values of f(x) becomes arbitrarily close to L for x<0 as |x| becomes sufficiently large, we say that the function f has a limit at negative infinity and write
limx→−∞f(x)=L.
If the values f(x) are getting arbitrarily close to some finite value L as x→∞ or x→−∞, the graph of f approaches the line y=L. In that case, the line y=L is a horizontal asymptote of f (Figure 2.6.2). For example, for the function f(x)=1x, since limx→∞f(x)=0, the line y=0 is a horizontal asymptote of f(x)=1x.

Definition: Horizontal Asymptote
If limx→∞f(x)=L or limx→−∞f(x)=L, we say the line y=L is a horizontal asymptote of f.
A function cannot cross a vertical asymptote because the graph must approach infinity (or −∞) from at least one direction as x 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+1 shown in Figure 2.6.3 intersects the horizontal asymptote y=1 an infinite number of times as it oscillates around the asymptote with ever-decreasing amplitude.

The algebraic limit laws and squeeze theorem we introduced in Introduction to Limits also apply to limits at infinity. We illustrate how to use these laws to compute several limits at infinity.
Example 2.6.1: Computing Limits at Infinity
For each of the following functions f, evaluate limx→∞f(x) and limx→−∞f(x). Determine the horizontal asymptote(s) for f.
- f(x)=5−2x2
- f(x)=sinxx
- f(x)=tan−1(x)
Solution
a. Using the algebraic limit laws, we have
limx→∞(5−2x2)=limx→∞5−2(limx→∞1x)⋅(limx→∞1x)=5−2⋅0=5.
Similarly, limx→−∞f(x)=5. Therefore, f(x)=5−2x2 has a horizontal asymptote of y=5 and f approaches this horizontal asymptote as x→±∞ as shown in the following graph.

b. Since −1≤sinx≤1 for all x, we have
−1x≤sinxx≤1x
for all x≠0. Also, since
limx→∞−1x=0=limx→∞1x,
we can apply the squeeze theorem to conclude that
limx→∞sinxx=0.
Similarly,
limx→−∞sinxx=0.
Thus, f(x)=sinxx has a horizontal asymptote of y=0 and f(x) approaches this horizontal asymptote as x→±∞ as shown in the following graph.

c. To evaluate limx→∞tan−1(x) and limx→−∞tan−1(x), we first consider the graph of y=tan(x) over the interval (−π2,π2) as shown in the following graph.

Since
limx→π2−tanx=∞,
it follows that
limx→∞tan−1(x)=π2.
Similarly, since
limx→−π2+tanx=−∞,
it follows that
limx→−∞tan−1(x)=−π2.
As a result, y=π2 and y=−π2 are horizontal asymptotes of f(x)=tan−1(x) as shown in the following graph.

Exercise 2.6.1
Evaluate limx→−∞(3+4x) and limx→∞(3+4x). Determine the horizontal asymptotes of f(x)=3+4x, if any.
- Hint
-
limx→±∞1x=0
- Answer
-
Both limits are 3. The line y=3 is a horizontal asymptote.
Now we can consider an analytic process that may be needed to evaluate limits at infinity. This process is often helpful when we have one of the indeterminate forms ±∞±∞.
Example 2.6.2: A Process to Analytically Evaluate Limits at Infinity of Rational Functions
Determine the limit below, showing a clear analytic proof.
limx→∞x2−2x+14x2+3
Solution
Note that evaluating the numerator and denominator of this expression at infinity gives us the form ∞∞. This means a finite limit may exist, but it requires us to do some further work. Since the expressions in the numerator and denominator are polynomials in this example, a process that will work here is to divide each term in the numerator and denominator by this variable raised to the highest power of the variable that we see in the denominator.
In this case, the highest power of the variable in the denominator is 2, so we divide through every term by x2.
Note that we are really just multiplying the top and bottom of this expression by 1x2, so this is not changing the value of the expression or the limit.
limx→∞x2−2x+14x2+3=limx→∞x2−2x+14x2+3⋅1x21x2=limx→∞x2x2−2xx2+1x24x2x2+3x2=limx→∞1−2x+1x24+3x2Simplifying each term=limx→∞(1−2x+1x2)limx→∞(4+3x2)Using the Quotient Law for Limits.=limx→∞1−limx→∞2x+limx→∞1x2limx→∞4+limx→∞3x2Using the Sum/Difference Laws for Limits.=1−limx→∞2x0+limx→∞1x204+limx→∞3x20Using limits we know.=14
Thus we have proven this limit is 14.
We also know that f(x)=x2−2x+14x2+3 has a horizontal asymptote of y=14 as x→∞.
Note that in Example 2.6.2, since the degree of the polynomials in the numerator and denominator were the same, the limit as x→∞ ends up being the ratio of the coefficients of the terms of highest (matching) degree in the numerator and denominator. This will be true generally, but a proof like that shown here may still required to be shown. However, it is not always necessary to show all the steps shown in Example 2.6.2. In the next example, we will show how an abbreviated process can be used to determine the limits of rational functions of this type, as x approaches infinity.
Example 2.6.3
Determine the limits below, showing a clear analytic proof of each.
a. limx→∞2x2−4x5x3−7
b. limx→∞√2x2−15x+2
Solution
a. We see that this limit again has the form ∞∞. If it did not, we would evaluate the limit using a different approach.
We start be dividing all terms in the numerator and denominator by x3, the highest power of x found in the denominator. Then we will proceed as we did in Example 2.6.2, except that we will only include the most important steps this time.
limx→∞2x2−4x5x3−7=limx→∞2x2x3−4xx35x3x3−7x3Dividing each term by the highest power of x in the denominator.=limx→∞2x−4x25−7x3Simplifying each term=limx→∞2x0−4x205−7x30Considering where each term will go as x→∞=05=0
We have proven this limit is 0 and that f(x)=2x2−4x5x3−7 has a horizontal asymptote of y=0 as x→∞.
b. Now let's consider limx→∞√2x2−15x+2.
The rational function in this limit is different since it has a square root in it, but it turns out that we can use the same approach to evaluate this limit that we have been using in Example 2.6.2 and Example 2.6.3a.
First, consider the "net degree" of the numerator of this expression. The highest degree term under the radical is 2x2. Since it's under a radical, it's "net degree" can be found by simplifying this term. That is, √2x2=√2√x2=√2(x2)1/2=(√2)x, if x>0. That is, the numerator has a net degree of 1!
Since the degrees of the numerator and denominator are both 1, we anticipate a finite limit related to the coefficients of the two terms of highest degree. Let's see how the work plays out in this example.
limx→∞√2x2−15x+2=limx→∞√2x2−1x5xx+2xDividing each term by the highest power of x in the denominator.=limx→∞√2x2x2−1x25xx+2xBringing the x inside the radical.=limx→∞√2−1x25+2xSimplifying each term.=limx→∞√2−1x205+2x0Considering where each term will go as x→∞=√25
Thus, this limit is √25, and the function f(x)=√2x2−15x+2 has a horizontal asymptote of y=√25 as x→∞.
We see in Example 2.6.3a that when the degree of the denominator is larger than the degree of the numerator, the limit will be 0 as x→∞.
In Example 2.6.4 below, we will consider what happens when the degree of the numerator is larger than the degree of the denominator. But first, we must consider another possible value for a limit.
Infinite Limits at Infinity
Sometimes the values of a function f become arbitrarily large as x→∞(or as x→−∞). In this case, we write limx→∞f(x)=∞ (or limx→−∞f(x)=∞). On the other hand, if the values of f are negative but become arbitrarily large in magnitude as x→∞ (or as x→−∞), we write limx→∞f(x)=−∞ (or limx→−∞f(x)=−∞).
For example, consider the function f(x)=x3. As seen in Table 2.6.2 and Figure 2.6.8, as x→∞ the values f(x) become arbitrarily large. Therefore, limx→∞x3=∞. On the other hand, as x→−∞, the values of f(x)=x3 are negative but become arbitrarily large in magnitude. Consequently, limx→−∞x3=−∞.
x | 10 | 20 | 50 | 100 | 1000 |
---|---|---|---|---|---|
x3 | 1000 | 8000 | 125,000 | 1,000,000 | 1,000,000,000 |
x | −10 | −20 | −50 | −100 | −1000 |
x3 | −1000 | −8000 | −125,000 | −1,000,000 | −1,000,000,000 |

Definition: Infinite Limit at Infinity (Informal)
We say a function f has an infinite limit at infinity and write
limx→∞f(x)=∞.
if f(x) becomes arbitrarily large for x sufficiently large. We say a function has a negative infinite limit at infinity and write
limx→∞f(x)=−∞.
if f(x)<0 and |f(x)| becomes arbitrarily large for x sufficiently large. Similarly, we can define infinite limits as x→−∞.
Example 2.6.4
Determine the following limit, showing a clear analytic proof.
limx→∞x5−3x+410x3+x2−1
Solution
Since this limit has the form ∞∞, we proceed as we did in Examples 2.6.2 and 2.6.3, first dividing each term by x3, the highest power of x in the denominator of this rational expression.
limx→∞x5−3x+410x3+x2−1=limx→∞x5x3−3xx3+4x310x3x3+x2x3−1x3Dividing each term by the highest power of x in the denominator.=limx→∞x2−3x2+4x310+1x−1x3Simplifying each term=limx→∞x2−3x20+4x3010+1x0−1x30Considering where each term will go as x→∞=limx→∞x210=∞
So, in this case, the limit is not finite. We say that, limx→∞x5−3x+410x3+x2−1=∞.
Therefore the function f(x)=x5−3x+410x3+x2−1 has no horizontal asymptote as x→∞.
So we see that when the degree of the numerator is larger than the degree of the denominator, the limit as x→∞ is either ∞ or −∞. (How would it become −∞?)
Formal Definitions
Earlier, we used the terms arbitrarily close, arbitrarily large, and sufficiently large to define limits at infinity informally. Although these terms provide accurate descriptions of limits at infinity, they are not precise mathematically. Here are more formal definitions of limits at infinity. We then look at how to use these definitions to prove results involving limits at infinity.
Definition: Limit at Infinity (Formal)
We say a function f has a limit at infinity, if there exists a real number L such that for all ε>0, there exists N>0 such that
|f(x)−L|<ε
for all x>N. in that case, we write
limx→∞f(x)=L

Earlier in this section, we used graphical evidence in Figure 2.6.1 and numerical evidence in Table 2.6.1 to conclude that limx→∞(2+1x)=2. Here we use the formal definition of limit at infinity to prove this result rigorously.
Example 2.6.5:
Use the formal definition of limit at infinity to prove that limx→∞(2+1x)=2.
Solution
Let ε>0. Let N=1ε. Therefore, for all x>N, we have
|2+1x−2|=|1x|=1x<1N=ε
Exercise 2.6.2
Use the formal definition of limit at infinity to prove that limx→∞(3−1x2)=3.
- Hint
-
Let N=1√ε.
- Answer
-
Let ε>0. Let N=1√ε. Therefore, for all x>N, we have
|3−1x2−3|=1x2<1N2=ε
Therefore, limx→∞(3−1/x2)=3.
We now turn our attention to a more precise definition for an infinite limit at infinity.
Definition: Infinite Limit at Infinity (Formal)
We say a function f has an infinite limit at infinity and write
limx→∞f(x)=∞
if for all M>0, there exists an N>0 such that
f(x)>M
for all x>N (see Figure 2.6.10).
We say a function has a negative infinite limit at infinity and write
limx→∞f(x)=−∞
if for all M<0, there exists an N>0 such that
f(x)<M
for all x>N.
Similarly we can define limits as x→−∞.

Earlier, we used graphical evidence (Figure 2.6.8) and numerical evidence (Table 2.6.2) to conclude that limx→∞x3=∞. Here we use the formal definition of infinite limit at infinity to prove that result.
Example 2.6.6
Use the formal definition of infinite limit at infinity to prove that limx→∞x3=∞.
Solution
Let M>0. Let N=3√M. Then, for all x>N, we have
x3>N3=(3√M)3=M.
Therefore, \displaystyle \lim_{x→∞}x^3=∞.
Exercise \PageIndex{3}
Use the formal definition of infinite limit at infinity to prove that \displaystyle \lim_{x→∞}3x^2=∞.
- Hint
-
Let N=\sqrt{\frac{M}{3}}.
- Answer
-
Let M>0. Let N=\sqrt{\frac{M}{3}}. Then, for all x>N, we have
3x^2>3N^2=3\left(\sqrt{\frac{M}{3}}\right)^2=\frac{3M}{3}=M
Key Concepts
- The limit of f(x) is L as x→∞ (or as x→−∞) if the values f(x) become arbitrarily close to L as x becomes sufficiently large.
- The limit of f(x) is ∞ as x→∞ if f(x) becomes arbitrarily large as x becomes sufficiently large. The limit of f(x) is −∞ as x→∞ if f(x)<0 and |f(x)| becomes arbitrarily large as x becomes sufficiently large. We can define the limit of f(x) as x approaches −∞ similarly.
Glossary
- horizontal asymptote
- if \displaystyle \lim_{x→∞}f(x)=L or \displaystyle \lim_{x→−∞}f(x)=L, then y=L is a horizontal asymptote of f
- infinite limit at infinity
- a function that becomes arbitrarily large as x becomes large
- limit at infinity
- a function that approaches a limit value L as x becomes large
Contributors and Attributions
Gilbert Strang (MIT) and Edwin “Jed” Herman (Harvey Mudd) with many contributing authors. This content by OpenStax is licensed with a CC-BY-SA-NC 4.0 license. Download for free at http://cnx.org.
- Paul Seeburger (Monroe Community College) added Examples \PageIndex{2}, \PageIndex{3}, and \PageIndex{4} and the discussion just preceding and after each.