Skip to main content
\( \newcommand{\lt}{ < } \newcommand{\gt}{ > } \newcommand{\amp}{ & } \)

Section5.6Limits Involving Infinity

We have focused on limits of functions that correspond to points. That is, we have looked at functions that approach a specific value in the output as the input variable approaches a certain value in or at the edge of the domain. In this section, we will consider examples where limits inform us about the behavior of a function as the input or output grow without bound.

Subsection5.6.1Vertical Asymptotes and Infinite Discontinuities

An asymptote is a curve (most commonly a line) that a graph approaches. The two most important asymptotes are vertical asymptotes and horizontal asymptotes. In order to classify each of these, we need to introduce a new type of limit statement.

The mathematical statement \begin{equation*}\displaystyle \lim_{x \to a+} f(x) = +\infty\end{equation*} means that the value of \(f(x)\) essentially increases without bound for any sequence of values from the domain \(x_n \downarrow a\). More precisely, for any value \(M\) (no matter how large), the sequence of values \(f(x_n)\) must eventually exceed \(M\), \(f(x_n) \gt M\) for all \(n\), eventually.

Definition5.6.1Infinite Limit

The mathematical statement \begin{equation*}\displaystyle \lim_{x \to a+} f(x) = +\infty\end{equation*} formally represents the following statement: Given any \(M\), there exists a value \(\delta \gt 0\) such that \(f(x) \gt M\) for every \(x \in (a,a+\delta)\).

The mathematical statement \begin{equation*}\displaystyle \lim_{x \to a+} f(x) = -\infty\end{equation*} formally represents the following statement: Given any \(M\), there exists a value \(\delta \gt 0\) such that \(f(x) \lt M\) for every \(x \in (a,a+\delta)\).

Similar definitions for left limits involve an interval to the left of \(a\), \((a-\delta,a)\). Two-sided limits require left- and right-limits agree. Otherwise, the two-sided limit does not exist.

The definition of an infinite limit allows for the possibility that the function might rise and fall so long as overall the function ultimately is rising above every number imaginable.


Consider the function that is formed by joining line segments that alternately go up and down over shorter and shorter intervals given in the graph below. The peaks in the graph are given by the sequence of points defined by \begin{equation*}\{(\frac{1}{n}, n) : n=1, 2, 3, \ldots\}\end{equation*} while the minimum points are defined halfway between these points by \begin{equation*}\{(\frac{1}{2}(\frac{1}{n}+\frac{1}{n+1}), n-1) : n=1, 2, 3, \ldots\}.\end{equation*}

<<SVG image is unavailable, or your browser cannot render it>>

If we considered values of \(x\) approaching \(0\) from the right, \(x \to 0+\), the values of \(f(x)\) might alternately go up and down. Overall, the value of \(f(x)\) increases without bound because the graph will eventually surpass every positive real number. Consequently, this function has a limit \begin{equation*}\lim_{x \to 0+}f(x) = +\infty.\end{equation*}

For algebraic functions, infinite limits occur when the formula involves division such that the numerator has a non-zero limit and the denominator gets smaller and smaller. Dividing a number by an infinitely small value results in an infinitely large value. However, the denominator needs to approach zero monotonically as repeatedly alternating between positive and negative will make the limit not exist. The limit is either \(+\infty\) or \(-\infty\) depending on which signs are involved.

We apply the theorem for rational functions by identifying points where the formula involves division by zero, identifying all removable discontinuities, and then determining the sign of the function immediately to the left and right of each infinite discontinuity. Each infinite discontinuity corresponds to a vertical asymptote.


Classify all of the discontinuities of \(\displaystyle f(x) = \frac{x^3-9x}{x^4-x^3-6x^2}\).


The following example does a similar analysis, but keeps comments to a minimum to demonstrate what work might be normally expected.


Classify the discontinuities of \(\displaystyle f(x) = \frac{x^2-4}{x^4-7x^3+10x^2}\).


Subsection5.6.2Horizontal Asymptotes and Limits at Infinity

A function has a horizontal asymptote if the function behaves more and more like a constant value for large input values. Horizontal asymptotes often have applications relating to the idea of saturation. For example, when food is scarce, the total amount of food an individual eats during a day will be proportional to the amount of food available. However, there comes a point where increasing the amount of food available does not lead to continuing increase in the amount of food eaten per individual. Consumption saturates.

A common misconception by students is that a function does not cross a horizontal asymptote. This likely results from students applying something they heard about vertical asymptotes and generalizing it to all asymptotes. A function does not cross a vertical asymptote only because functions must obey the vertical line test. If the graph crossed a vertical asymptote, it would need to bend back to approach the asymptote from the other side; that process violates the definition of a function. Horizontal asymptotes can be crossed multiple times (even infinitely many times).

When a function has a horizontal asymptote, we are considering the behavior of the function as the input \(x \to +\infty\) or \(-\infty\). The value of the limit is the \(y\)-value of the horizontal asymptote.

Definition5.6.6Limits at Infinity

The mathematical statement \begin{equation*}\lim_{x \to \infty} f(x) = L\end{equation*} for a real number \(L\) means \(|f(x_n)-L| \to 0\) for every unbounded increasing sequence \(x_n \uparrow \infty\). Formally, this corresponds to the statement: For every \(\epsilon \gt 0\), there exists \(M \gt 0\) so that \(|f(x)-L| \lt \epsilon\) for every \(x \gt M\).


Consider the function illustrated in the graph below. Notice that the function goes above and below the value \(y=-1\) but that the size of the difference is shrinking in size as \(x \to +\infty\). Consequently, we would say \(y=-1\) is a horizontal asymptote and \begin{equation*}\lim_{x \to \infty} f(x) = -1.\end{equation*} In the other direction, notice that the function approaches another horizontal asymptote \(y=1\) as \(x \to -\infty\), corresponding to a limit \begin{equation*}\lim_{x \to -\infty} f(x) = -1.\end{equation*}

<<SVG image is unavailable, or your browser cannot render it>>

For functions defined algebraically, we find limits at infinity by identifying terms that go to zero. These are often identified as being the multiplicative inverse of terms that are unbounded. If \(p(x) \to \infty\), then \(1/p(x) \to 0\). For algebraic formulas, we can use limit arithmetic involving infinity to compute determinate limits.

\begin{gather*} \infty^p = \infty, \quad \hbox{ for $p \gt 0$}\\ \infty^{-p} = \frac{1}{\infty^p} = 0, \quad \hbox{ for $p \gt 0$}\\ b^{\infty} = \infty, \quad \hbox{ for $b \gt 1$}\\ b^{-\infty} = 0, \quad \hbox{ for $b \gt 1$}\\ b^{\infty} = 0, \quad \hbox{ for $0 \lt b \lt 1$}\\ b^{-\infty} = \infty, \quad \hbox{ for $0 \lt b \lt 1$} \end{gather*}


Determine the limits at infinity for \(\displaystyle f(x) = 4 - 3e^{-2x}\).


A limit that appears to have infinities cancel in any way (or zeros cancel in division) is indeterminate because the arithmetic of limits does not apply when infinities might cancel. To compute such a limit, must rewrite the formula to eliminate the indeterminate form. When a limit involves infinity, we factor out the term that grows to infinity the fastest and seek to simplify.


Determine the limits at infinity for \(\displaystyle f(x) = \frac{x^2-3x+1}{4x^2+5x+7}\).