Contents / Precalculus / Introduction to Limits
Chapter 9
Introduction to Limits
Limit notation and intuition as a bridge from precalculus into calculus.
Introduction
Limit notation and intuition as a bridge from precalculus into calculus.
9.1Limit (mathematics)
The limit is the central idea that makes calculus work: the value the function approaches as input approaches a point (even if the function is not defined or different there).
Limits (Introduction)
Before any formulas, here is the picture. Imagine walking along the graph of a function toward a particular -value. The limit is the height you are heading toward — the value the graph seems to be aiming at — regardless of whether the graph actually arrives at that height when you land on the point. There might be a hole there, or the point might be lifted somewhere else; the limit ignores that and reports the trend.
Definition 9.1 (Limit of a function). We write
if can be made arbitrarily close to by taking sufficiently close to (with ). Read it as: "the limit of , as approaches , equals . "
The phrase " " is essential — the limit is entirely about the neighborhood around , never about the single point itself. This is exactly why a limit can exist at a point where the function is undefined.
We can also approach from one side only.
Definition 9.2 (One-sided limits). The left-hand limit looks only at inputs slightly less than ; the right-hand limit looks only at inputs slightly greater than .
Theorem 9.3 (Two-sided limits from one-sided limits). The two-sided limit exists if and only if both one-sided limits exist and are equal:
If the two sides disagree (a jump), the two-sided limit does not exist. This is the standard way of showing that a limit fails to exist.
Infinite limits and limits at infinity are two different ideas that share the symbol. An infinite limit like means the output grows without bound as nears a finite point. A limit at infinity like describes the end behavior as itself runs off to . They call for different techniques, so keep them apart.
Why limits matter. Once you have limits you can define the rest of calculus rigorously:
- Continuity at means — the trend, the destination, and the actual value all agree. This requires three things at once: is defined, the limit exists, and the two are equal.
- Derivatives are limits of average rates of change, , giving instantaneous rate.
- Integrals are limits of sums of thin rectangles, giving accumulated area.
How limits are evaluated. The techniques come in a definite order of preference.
Method 9.4 (Evaluating a limit).
- Direct substitution — if is continuous at , just plug in: .
- Factor and cancel — when substitution gives the indeterminate form , factor and remove the common factor causing it.
- Rationalize — multiply by a conjugate to clear a involving square roots.
- Known special limits — most famously (with in radians), the engine behind the derivatives of the trig functions.
A form like or is called indeterminate: it does not mean the limit fails to exist, only that this particular substitution didn't settle the question and more work is needed.
Intuition. A limit is like reading a car's GPS as it coasts toward a stop sign. The GPS shows where the car is heading — the corner — even if the car never quite touches the line, or gets teleported to a different spot at the last instant. You care about the destination the motion points to, not the single frozen snapshot at the sign. A one-sided limit is just checking where the car is heading when it's rolling in from the left versus rolling in from the right; if those two answers disagree, there is no single spot it is aiming for.
Example 9.5 (Factor and cancel). Evaluate .
Solution. Try direct substitution: numerator , denominator . This gives , an indeterminate form — so substitution alone can't decide it. Factor the numerator using the difference of squares: . For every we may cancel the common factor : . (We only need near , not equal to , so this cancellation is legal.) Now the limit is of a continuous function, so substitute: .
Sanity check: at , , and at it is — both hugging from either side. So , even though itself is undefined (a hole in the graph).□
Example 9.6 (Rationalizing a root). Evaluate .
Solution. Substitution gives , indeterminate. Multiply top and bottom by the conjugate (this equals , so it changes the form but not the value):
Sanity check: at , . ✓□
Example 9.7 (A jump: when the two sides disagree). Does exist for ?
Solution. Approach from the left (), where : . Approach from the right (), where : . The one-sided limits disagree (), so there is no single value the function heads toward.
Conclusion: does not exist — the graph has a jump of height at . (Note is defined; a value existing at the point does not rescue a two-sided limit when the sides disagree.)□
Example 9.8 (A continuity check). Is continuous at ?
Solution. Check : it is , so is undefined at . Continuity fails immediately — one of the three requirements (a defined value) is missing. The limit itself still exists: for , so . Because the limit exists () but does not, this is a removable discontinuity: defining would plug the hole and make continuous there.
Sanity check: the trend value matches at , and is undefined only at the single removable point. ✓□
Example 9.9 (A limit at infinity). Evaluate .
Solution. This is a limit at infinity, so use the "divide by the highest power" technique rather than substitution. The highest power in the denominator is ; divide every term by :
Sanity check: at , , closing in on . This also matches the rule of thumb for rational functions with equal top/bottom degrees: the limit is the ratio of leading coefficients, . ✓□
Example 9.10 (The special trigonometric limit). Evaluate .
Solution. Substitution gives , indeterminate. We want the argument of to match the denominator so we can use . Multiply and divide by : . Let ; as , too, so . Therefore .
Sanity check (radians): at , . ✓□
Common Mistakes
- Limit vs function value: The limit can exist even when is undefined or different (removable discontinuity). Always distinguish from .
- One-sided limits: For limits at endpoints or jumps, the left and right limits must agree; otherwise the two-sided limit does not exist — even if happens to be defined.
- Indeterminate forms: or require algebraic manipulation or other techniques (L'Hôpital later); do not conclude "does not exist" immediately.
- Forgetting to check one-sided at discontinuities: Jump discontinuities have different left/right limits, so always check both sides there.
- Plugging in when there is a hole: If substitution gives , simplify (factor, cancel, or rationalize) first — the raw substitution is not the answer.
- Limits at infinity vs at a point: Different techniques — divide by the highest power of for limits at , but substitute or factor for limits at a finite point.
- Degrees instead of radians in : The special limit only holds when is measured in radians.