Limits at Infinity

Learning Outcomes

  • Calculate the limit of a function as π‘₯ increases or decreases without bound
  • Recognize a horizontal asymptote on 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. We have looked at vertical asymptotes in other modules; in this section, we deal with horizontal and oblique asymptotes.

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 1 and numerically in the table beneath it, 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) approaches 2. We say the limit as x approaches βˆ’βˆž of f(x) is 2 and write limxβ†’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=2 as x approaches ±∞.

Values of a function f as xβ†’Β±βˆž
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


(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). 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


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

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β†’βˆž, the values of f are getting arbitrarily close to L. The line y=L is a horizontal asymptote of f. (b) As xβ†’βˆ’βˆž, the values of f are getting arbitrarily close to M. The line y=M is a horizontal asymptote of f.

A function cannot cross a vertical asymptote because the graph must approach infinity (or negative infinity) 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)=cos⁑xx+1 shown in Figure 3 intersects the horizontal asymptote y=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)=cos⁑x/x+1 crosses its horizontal asymptote y=1 an infinite number of times.

The algebraic limit laws and squeeze theorem we introduced in Why It Matters: Limits also apply to limits at infinity. We illustrate how to use these laws to compute several limits at infinity.

Example: 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.

  1. f(x)=5βˆ’2x2
  2. f(x)=sin⁑xx
  3. f(x)=tanβˆ’1⁑(x)

Watch the following video to see the worked solution to Example: Computing Limits at Infinity.

Try It

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

Try It

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 the table below and Figure 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=βˆ’βˆž.

Values of a power function as xβ†’Β±βˆž
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
The function f(x) = x3 is graphed. It is apparent that this function rapidly approaches infinity as x approaches infinity.

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

Definition


(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β†’βˆ’βˆž.

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


(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

 

(see Figure 9).

 

We say a function f has a limit at negative infinity if there exists a real number L such that for all Ξ΅>0, there exists N<0 such that

|f(x)βˆ’L|<Ξ΅

 

for all [latex]x

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

 

The function f(x) is graphed, and it has a horizontal asymptote at L. L is marked on the y axis, as is L + ΰ₯‰ and L – ΰ₯‰. On the x axis, N is marked as the value of x such that f(x) = L + ΰ₯‰.

Figure 9. For a function with a limit at infinity, for all x>N, |f(x)βˆ’L|<Ξ΅.

Earlier in this section, we used graphical evidence and numerical evidence to conclude that limxβ†’βˆž(2+1x)=2. Here we use the formal definition of limit at infinity to prove this result rigorously.

Example: A Finite Limit at Infinity Example

Use the formal definition of limit at infinity to prove that limxβ†’βˆž(2+1x)=2.

Watch the following video to see the worked solution to Example: A Finite Limit at Infinity Example.

Try It

Use the formal definition of limit at infinity to prove that limxβ†’βˆž(3βˆ’1x2)=3.

We now turn our attention to a more precise definition for an infinite limit at infinity.

Definition


(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 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

[latex]f(x)

 

for all x>N.

Similarly we can define limits as xβ†’βˆ’βˆž.

The function f(x) is graphed. It continues to increase rapidly after x = N, and f(N) = M.

Figure 10. For a function with an infinite limit at infinity, for all x>N, f(x)>M.

Earlier, we used graphical evidence (Figure 8) and numerical evidence (the table beneath it) to conclude that limxβ†’βˆžx3=∞. Here we use the formal definition of infinite limit at infinity to prove that result.

Example: An Infinite Limit at Infinity

Use the formal definition of infinite limit at infinity to prove that limxβ†’βˆžx3=∞.

Watch the following video to see the worked solution to Example: An Infinite Limit at Infinity.

Try It

Use the formal definition of infinite limit at infinity to prove that limxβ†’βˆž3x2=∞.

Try It