Calculus Volume 1 · Chapter 2 · Limits
Describing where a function is headed near a point — even when we can't, or shouldn't, plug the point in.
bookSHelf · Calculus Volume 1 · §2.2 · a self-paced section
This is the graph of f(x)=x−2x2−4. At x=2 it has no value — you'd divide by zero. So where is the graph headed as x closes in on 2? Tabulate x-values just below and just above.
| from left | f(x) | from right | f(x) |
|---|---|---|---|
| 1 | 3 | 3 | 5 |
| 1.5 | 3.5 | 2.5 | 4.5 |
| 1.9 | 3.9 | 2.1 | 4.1 |
| 1.99 | 3.99 | 2.01 | 4.01 |
| 1.999 | 3.999 | 2.001 | 4.001 |
| 1.9999 | 3.9999 | 2.0001 | 4.0001 |
From both sides f(x) closes in on 4 — even though f(2)=00 has no value. The graph heads toward 4 without ever reaching it.
Figure 1: f(x)=x−2x2−4 — the line y=x+2 with the point (2,4) punched out.
Definition 2.2.1 — Limit (intuitive)
Let f(x) be defined for all x in an open interval containing a, with the possible exception of a itself, and let L be real. If all values of f(x) approach L as the values of x (=a) approach a, then
x→alimf(x)=L.The limit reports what the neighborhood is doing, not the value at the point: for f(x)=x−2x2−4, f(2) does not exist yet limx→2f(x)=4.
Figure 2: An open interval containing a — the shaded band is the neighborhood the limit reads.
Factor and cancel
x−2x2−4=x−2(x−2)(x+2)=x+2for x=2.So f is the line y=x+2 with the single point (2,4) punched out. The cancellation is only legal for x=2 — which is why we approach the point instead of substituting it. (Evaluating limits exactly by factoring is the work of §2.3.)
Big idea
A limit reads where a function is headed, not where it is — like reading which way a friend is heading through a crowd, even when you cannot see exactly where they stand.
Evaluate x→0limxsinx using a table of values.
The function is even, so the left and right columns match:
| x | sinx/x |
|---|---|
| ±0.1 | 0.99833 |
| ±0.01 | 0.99998 |
| ±0.001 | 0.9999998 |
Both sides march toward 1: x→0limxsinx=1.
Figure 3: y=xsinx — a removable hole at x=0, the curve heading to height 1.
Estimate a limit
Estimate x→1limx−1x1−1 using a table of values.
Simplify first: x−1x1−1=x(x−1)−(x−1)=−x1 for x=1.
| x | f(x) | x | f(x) |
|---|---|---|---|
| 0.9 | −1.1111 | 1.1 | −0.9091 |
| 0.99 | −1.0101 | 1.01 | −0.9901 |
| 0.999 | −1.0010 | 1.001 | −0.9990 |
Both columns march toward −1: x→1limx−1x1−1=−1. Answer: −1.
For the function g(x) shown, evaluate x→−1limg(x).
The marked point shows g(−1)=4, but the curve approaches height 3 from both sides:
x→−1limg(x)=3.Limit and function value are allowed to disagree — the limit reports the neighborhood, not the isolated point.
Figure 4: g(x) near x=−1 — the curve heads to 3 while g(−1)=4.
Tables and graphs rest on guesswork — you read a trend, not a proof. §2.3 builds algebraic limit laws that compute limits exactly; two limits are so basic that every law will lean on them.
Theorem 2.2.1 — Two important limits
For any real number a and constant c:
x→alimx=aandx→alimc=c.The identity function f(x)=x marches along with x; a constant function never moves. These are the atomic building blocks inside every limit law from here on.
For a two-sided limit to exist, f(x) must approach a single real number from both sides. It can miss in two very different ways.
f bounces around forever without settling on any value.
f shoots off toward ±∞ — a vertical wall.
Both get labeled DNE for now — but the rest of the section gives each its own precise vocabulary.
Evaluate x→0limsin(x1).
As x→0, the input 1/x blows up, so sin(1/x) oscillates faster and faster — never settling.
Along x=π2,3π2,5π2,… the value cycles 1,−1,1,−1,…. Different paths give different values, so
x→0limsin(x1) DNE.
Figure 5: y=sin(1/x) — infinitely many oscillations as x→0.
Saying "the limit does not exist" sometimes throws away useful information.
sin(1/x) genuinely wandered — nothing more to say. But recall g(x)=x−2∣x−2∣: it settles cleanly on −1 from the left and +1 from the right.
The two-sided limit fails, yet each side is perfectly well-behaved. That deserves its own notation.
Figure 6: g(x)=x−2∣x−2∣ — clean on each side, a jump at x=2.
Definition 2.2.2 — One-sided limits
From the left. If f(x) approaches L as x (x<a) approaches a:
x→a−limf(x)=L.From the right. If f(x) approaches L as x (x>a) approaches a:
x→a+limf(x)=L.For g(x)=x−2∣x−2∣: the two-sided limit DNE, but the side limits are clean — x→2−limg(x)=−1 and x→2+limg(x)=1.
Evaluate the one-sided limits of
f(x)={x+1x2−4if x<2,if x≥2.Use the correct branch on each side:
x→2−limf(x)=3,x→2+limf(x)=0.The side limits disagree, so x→2limf(x) DNE — the graph jumps at x=2.
Figure 7: A piecewise function jumping at x=2: left →3, right →0.
Estimate one-sided limits
Estimate the one-sided limits of x−2∣x2−4∣ at x=2.
Factor: ∣x2−4∣=∣x−2∣∣x+2∣.
For x>2: x−2∣x2−4∣→∣x+2∣=4. For x<2: x−2∣x2−4∣→−∣x+2∣=−4.
Answer: left side −4; right side +4 (two-sided DNE).
Theorem 2.2.2 — Relating one-sided and two-sided limits
x→alimf(x)=L⟺x→a−limf(x)=L and x→a+limf(x)=L.The two-sided limit exists exactly when the two side limits shake hands on the same value. If they disagree, the two-sided limit does not exist.
Every function so far stayed bounded near its trouble point. But the third opening function never settles:
h(x)=(x−2)21 ⟶ +∞as x→2.This is the blow-up failure flagged earlier. Rather than write "DNE", we record how it fails — with the symbol ∞.
Figure 8: h(x)=(x−2)21 — both sides rise without bound at x=2.
Definition 2.2.3 — Infinite limits
If f(x) increases without bound as x→a, write x→alimf(x)=+∞; if it decreases without bound, x→alimf(x)=−∞. Same for x→a− and x→a+.
+∞ records how the limit fails — infinity describes behavior, it is not a real value.
Definition 2.2.4 — Vertical asymptote
The line x=a is a vertical asymptote of f(x) if any one holds:
x→a−limf=±∞, x→a+limf=±∞, x→alimf=±∞.e.g. h(x)=(x−2)21 has limx→2h=+∞, so x=2 is a vertical asymptote.
Evaluate the one- and two-sided limits of x1 at x=0.
| x | 1/x | x | 1/x |
|---|---|---|---|
| −0.01 | −100 | 0.01 | 100 |
| −0.001 | −1000 | 0.001 | 1000 |
The sides blow up in opposite directions, so x→0limx1 DNE.
Figure 9: y=x1 — −∞ from the left, +∞ from the right of 0.
Theorem 2.2.3 — Infinite limits from positive integers
For a real number a and a positive integer n:
If n is even:
x→alim(x−a)n1=+∞.If n is odd:
x→a+lim(x−a)n1=+∞,x→a−lim(x−a)n1=−∞.Either way, the line x=a is a vertical asymptote.
Find the vertical asymptote
Evaluate the limits of f(x)=(x+3)41 at x=−3, and identify any vertical asymptote.
Match the template (x−a)n1: here a=−3 and n=4 (even).
Even n means both sides shoot to +∞:
x→−3−limf=x→−3+limf=x→−3limf=+∞.Because the limit blows up at x=−3, the line x=−3 is a vertical asymptote.
Odd power
Evaluate the limits of f(x)=(x−2)31 at x=2 and identify any vertical asymptote.
n=3 is odd, so the side limits go to opposite infinities:
x→2−lim(x−2)31=−∞,x→2+lim(x−2)31=+∞.The sides disagree, so the two-sided limit DNE — but one side blowing up is enough. Answer: left −∞; right +∞; two-sided DNE; vertical asymptote at x=2.
x=−4 (smooth): x→−4limf=0, and f(−4)=0.
x=−2 (hole): x→−2limf=3, but f(−2) is undefined.
x=1 (jump): lim−=6, lim+=3, two-sided DNE, f(1)=6.
x=3 (asymptote): both sides →−∞, f(3) undefined.
Figure 10: One graph of f showing all four behaviors at once.
Where is a function headed near a point — even when the point itself can't be trusted? One graph holds all four answers.
| Point on the graph | Limit verdict |
|---|---|
| smooth (x=−4) | exists; lim=f(a) |
| hole (x=−2) | exists; lim=f(a) |
| jump (x=1) | two-sided DNE; sides clean |
| asymptote (x=3) | infinite; vertical asymptote |
The limit always reads the neighborhood, never the point. When it agrees, the limit exists; when it splits or blows up, we don't stop at "DNE" — we name how.
Figure 10: The four verdicts, read off one graph.