7.1 Limits

Definition 7.1. The limit of \(f(x)\) as \(x\) approaches \(a\) is the value \(L\) that \(f(x)\) gets arbitrarily close to as \(x\) gets close to \(a\) — without \(x\) ever having to equal \(a\). We write \[\lim _{x\to a}f(x)=L.\]

The words “without ever having to equal \(a\)” carry the whole idea. A limit describes where a function is heading, which need not be where it arrives, and may be defined even when \(f(a)\) is not.

Example 7.2. Investigate \(f(x)=x^2\) as \(x\) approaches \(2\) from each side.

Solution. From the left:

\(x\) 1.9 1.99 1.999 1.9999
\(x^2\) 3.61 3.9601 3.996001 3.99960001

From the right:

\(x\) 2.1 2.01 2.001 2.0001
\(x^2\) 4.41 4.0401 4.004001 4.00040001

Both columns close in on \(4\), so \[\lim _{x\to 2^-}x^2=4,\qquad \lim _{x\to 2^+}x^2=4,\qquad \text {hence}\qquad \lim _{x\to 2}x^2=4.\]

Here the limit equals \(f(2)=4\), which is what makes this function continuous at \(x=2\). That is a convenience, not a rule.

Note 7.3. A two-sided limit exists only when both one-sided limits exist and agree. If the function approaches one value from the left and a different one from the right, the limit does not exist.

7.1.1 Evaluating limits

For most functions, substitution works. When it produces \(\frac {0}{0}\), it does not — and that is a signal to factorise, not a sign that the limit fails to exist.

Example 7.4. Evaluate (a) \(\displaystyle \lim _{x\to 2}\left (3x^2+x-5\right )\), (b) \(\displaystyle \lim _{x\to 1}\frac {x^2-2x+7}{x+2}\), (c) \(\displaystyle \lim _{x\to 2}\frac {x^2+2x-8}{x-2}\).

Solution. (a) Substitute directly: \[3(2)^2+2-5=12+2-5=9.\]

(b) The denominator at \(x=1\) is \(3\neq 0\), so substitution is safe: \[\frac {1-2+7}{1+2}=\frac {6}{3}=2.\]

(c) Substituting gives \(\frac {4+4-8}{2-2}=\frac {0}{0}\), which is meaningless. But \(\frac {0}{0}\) arising means the numerator and denominator share a factor of \((x-2)\). Factorise: \[\frac {x^2+2x-8}{x-2}=\frac {(x-2)(x+4)}{x-2}=x+4\qquad \text {for } x\neq 2.\] Cancelling is legitimate precisely because \(x\) never equals \(2\) in a limit — it only approaches it. So \[\lim _{x\to 2}\frac {x^2+2x-8}{x-2}=\lim _{x\to 2}(x+4)=6.\]

Note that \(f(2)\) itself does not exist here, yet the limit does. This is exactly the situation the definition was written to handle, and it is the situation a derivative will present in a moment.

7.1.2 Properties of limits

Note 7.5. Limits behave the way one would hope. If \(\lim _{x\to a}f(x)=b\) and \(\lim _{x\to a}g(x)=c\), then for any constant \(k\):

(i).
\(\lim _{x\to a}kf(x)=kb\);
(ii).
\(\lim _{x\to a}\left [f(x)\pm g(x)\right ]=b\pm c\);
(iii).
\(\lim _{x\to a}\left [f(x)g(x)\right ]=bc\);
(iv).
\(\lim _{x\to a}\frac {f(x)}{g(x)}=\frac {b}{c}\), provided \(c\neq 0\);
(v).
\(\lim _{x\to a}\left [f(x)\right ]^n=b^n\).

These are what allow a limit to be broken into pieces and each piece evaluated separately. The proviso on (iv) is the whole reason the \(\frac {0}{0}\) case has to be handled by factorising instead.

7.1.3 When a limit does not exist

Three things can go wrong, and it is worth seeing them apart rather than lumped together as “the limit fails”.

Example 7.6. (a) Determine whether \(\lim _{x\to 3}f(x)\) exists, where \[f(x)=\begin {cases} x^2-1 & \text {if } x\leq 3,\\ 2x+1 & \text {if } x>3.\end {cases}\]

(b) For \[g(x)=\begin {cases} x^2+3 & \text {if } x\neq 1,\\ 10 & \text {if } x=1,\end {cases}\] find \(g(1)\) and \(\lim _{x\to 1}g(x)\).

Solution. (a) Approaching from each side uses a different rule, so the two one-sided limits must be worked out separately.

From the left, \(x\) is below \(3\) and the first rule applies: \[\lim _{x\to 3^-}f(x)=\lim _{x\to 3^-}\left (x^2-1\right )=9-1=8.\] From the right, \(x\) is above \(3\) and the second rule applies: \[\lim _{x\to 3^+}f(x)=\lim _{x\to 3^+}(2x+1)=6+1=7.\] The two disagree, so \[\therefore \quad \lim _{x\to 3}f(x)\ \text {does not exist}.\] The graph jumps at \(x=3\), and a function heading for two different values at once is heading for neither.

(b) The value at \(x=1\) is read off the second line directly: \[g(1)=10.\] The limit, however, never uses the value at \(x=1\) — only the values nearby, which all come from the first line: \[\lim _{x\to 1}g(x)=\lim _{x\to 1}\left (x^2+3\right )=1+3=4.\]

\[\therefore \quad g(1)=10\quad \text {but}\quad \lim _{x\to 1}g(x)=4.\]

Note 7.7. Part (b) is the sharpest illustration of the definition. The limit exists and is \(4\); the function equals \(10\) there; the two are simply different questions. A single isolated point can be moved anywhere at all without disturbing the limit.

Definition 7.8. Any expression that evaluates to \(\frac {0}{0}\), \(\frac {\infty }{\infty }\) or \(0\times \infty \) is called an indeterminate form. It is not an answer, and it is not a proof that the limit fails — it means more work is needed.

7.1.4 Limits at infinity

Asking what happens as \(x\to \infty \) is asking about long-run behaviour: what a function settles down to as its input grows without bound.

Note 7.9. Everything rests on one fact: \[\lim _{x\to \infty }\frac {1}{x}=0,\qquad \text {and likewise}\qquad \lim _{x\to \infty }\frac {1}{x^n}=0\ \text { for } n>0.\] A fixed number divided by something growing without limit shrinks away to nothing.

The method for a rational function is always the same: divide every term, top and bottom, by the highest power of \(x\) appearing in the denominator. That turns most terms into ones that vanish.

Example 7.10. Evaluate (a) \(\displaystyle \lim _{x\to \infty }\frac {3x+2}{4x-1}\), (b) \(\displaystyle \lim _{x\to \infty }\frac {7x^2-x+4}{2-3x^2}\), (c) \(\displaystyle \lim _{x\to \infty }\frac {4x-1}{x^3+2}\), (d) \(\displaystyle \lim _{x\to \infty }\frac {x^3+2x}{5x-1}\).

Solution. (a) The highest power below is \(x\), so divide throughout by \(x\): \[\frac {3x+2}{4x-1}=\frac {3+\frac {2}{x}}{4-\frac {1}{x}}.\] As \(x\to \infty \) both \(\frac {2}{x}\) and \(\frac {1}{x}\) go to \(0\): \[\lim _{x\to \infty }\frac {3x+2}{4x-1}=\frac {3+0}{4-0}=\frac {3}{4}.\]

(b) Divide throughout by \(x^2\): \[\frac {7x^2-x+4}{2-3x^2}=\frac {7-\frac {1}{x}+\frac {4}{x^2}}{\frac {2}{x^2}-3} \longrightarrow \frac {7-0+0}{0-3}=-\frac {7}{3}.\]

(c) The denominator has the higher degree, so divide by \(x^3\): \[\frac {4x-1}{x^3+2}=\frac {\frac {4}{x^2}-\frac {1}{x^3}}{1+\frac {2}{x^3}} \longrightarrow \frac {0-0}{1+0}=0.\] The bottom outgrows the top, so the fraction is squeezed to zero.

(d) Now the numerator has the higher degree. Dividing by \(x\): \[\frac {x^3+2x}{5x-1}=\frac {x^2+2}{5-\frac {1}{x}},\] and the top grows without bound while the bottom settles at \(5\). So \[\lim _{x\to \infty }\frac {x^3+2x}{5x-1}\ \text {does not exist; the function tends to } \infty .\]

Note 7.11. The four cases above are the only three outcomes there are, and comparing degrees settles which one applies before any dividing is done:

(i).
degree of top \(<\) degree of bottom: the limit is \(0\);
(ii).
degrees equal: the limit is the ratio of the leading coefficients — \(\frac {3}{4}\) in (a) and \(\frac {7}{-3}\) in (b);
(iii).
degree of top \(>\) degree of bottom: there is no finite limit.

Use this to predict the answer, then do the division to confirm it.

Questions on this section

Stuck on something here? Ask below and it stays attached to this topic.