Calculus begins with a deceptively simple question: what value does a function approach as its input gets closer and closer to some target? The answer—a limit—captures behavior near a point without requiring the function to actually reach that point. This distinction matters. A function might have a hole at x=2, yet still approach a perfectly well-defined value as x moves toward 2 from either side.
Limits formalize the intuition of "getting arbitrarily close." The notation
x→alimf(x)=L
means that f(x) can be made as close to L as desired by taking x sufficiently close to a. The function need not be defined at a, and even if it is, the value f(a) plays no role in determining the limit. Only the approach matters.
This concept underpins everything that follows in calculus. Derivatives measure instantaneous rates of change through limits. Integrals accumulate quantities through limits. Continuity is defined by limits. Understanding limits thoroughly is not optional preparation—it is the foundation on which the entire subject rests.
The Central Idea of a Limit
A limit answers the question: what value does f(x) approach as x approaches a? The emphasis falls on behavior near the point, not at the point. The function value f(a) might not exist, or it might differ from what the surrounding values suggest. The limit ignores f(a) entirely and focuses only on the approach.
The notation
x→alimf(x)=L
states that f(x) gets arbitrarily close to L as x gets sufficiently close to a. "Arbitrarily close" means closer than any positive distance you specify. "Sufficiently close" means there exists some neighborhood around a where this closeness holds.
This definition captures something precise: no matter how tight a tolerance you demand around L, you can always find inputs near a that produce outputs within that tolerance. The function values converge toward L even if they never reach it.
Limits serve as the foundation for all of calculus. The derivative is defined as a limit of difference quotients. The definite integral is defined as a limit of Riemann sums. Continuity is defined by comparing limits to function values. Every major concept in calculus rests on this single idea of controlled approach.
Limits That Fail to Exist
Not every limit exists. When asking what value f(x) approaches as x→a, sometimes there is no single answer. Three failure modes appear repeatedly.
Oscillation
A function may bounce between values without settling. Consider sin(1/x) as x→0. As x shrinks, the argument 1/x grows without bound, and the sine oscillates between −1 and 1 infinitely often. No single value L captures what the function approaches.
Unbounded Behavior
A function may grow without bound rather than approach a finite value. When
x→alimf(x)=∞
we say the function has an infinite limit, but this means the limit in the usual finite sense does not exist. The notation describes unbounded growth, not convergence to a number.
Left and Right Disagree
A function may approach different values depending on the direction of approach. If the left-hand limit yields one value and the right-hand limit yields another, no single number works for both. The two-sided limit does not exist.
Recognizing these failure modes is as important as computing limits that do exist. The type of failure reveals information about the function's behavior.
Two-Sided Limits
The standard limit notation
x→alimf(x)=L
requires x to approach a from both directions simultaneously. Values less than a must yield function outputs approaching L, and values greater than a must do the same. This is the two-sided limit.
The existence condition is precise: a two-sided limit exists if and only if both one-sided limits exist and are equal. If
x→a−limf(x)=Landx→a+limf(x)=L
then the two-sided limit equals L. If the one-sided limits differ, or if either fails to exist, the two-sided limit does not exist.
This requirement unifies behavior from both directions into a single value.
Sometimes only one direction of approach matters—or the two directions behave differently. One-sided limits isolate each direction.
The left-hand limit uses a minus superscript:
x→a−limf(x)
Here x approaches a through values less than a only. The right-hand limit uses a plus superscript:
x→a+limf(x)
Here x approaches a through values greater than a only.
One-sided limits are essential for piecewise functions, where different formulas apply on different intervals. At the boundary between pieces, the left-hand and right-hand limits may differ. They also arise naturally at domain endpoints, where only one direction of approach is possible.
The two-sided limit exists precisely when both one-sided limits exist and match.
Similar rules hold for differences, constant multiples, and powers. The critical requirement: the component limits must exist. When they don't—when you encounter indeterminate forms like 0/0—these rules cannot be applied directly.
The Squeeze Theorem offers another approach. If g(x)≤f(x)≤h(x) near a and both g and h approach the same limit L, then f must also approach L. The function is trapped between two bounds converging to the same value.
The first technique to try is direct substitution: plug a into f(x) and see what happens. For polynomials, this always works. For rational functions, it works whenever the denominator is nonzero at a.
When substitution yields an indeterminate form—most commonly 0/0—the expression must be transformed. Evaluating limits in these cases requires algebraic manipulation.
Factoring
If both numerator and denominator vanish at a, they share a common factor of (x−a). Factor it out, cancel, and substitute again:
When radicals appear, multiply by the conjugate to eliminate them. The difference of squares identity transforms the expression into one where cancellation is possible.
The goal in every case is to rewrite the expression so that direct substitution produces a determinate result.
Certain limits appear so frequently that memorizing them pays dividends. These special limits cannot be evaluated by substitution—each gives an indeterminate form—but their values are well established.
The fundamental trigonometric limit:
x→0limxsinx=1
This holds when x is measured in radians. It underlies the derivatives of sine and cosine.
The fundamental exponential limit:
x→0limxex−1=1
This defines the derivative of ex at x=0.
The definition of e itself emerges from a limit:
x→∞lim(1+x1)x=e
These results serve as building blocks for evaluating more complex expressions.
Infinity enters limits in two distinct ways. Limits at infinity ask what happens to f(x) as x grows without bound:
x→∞limf(x)orx→−∞limf(x)
These describe end behavior. When such a limit equals a finite value L, the line y=L is a horizontal asymptote.
Infinite limits describe functions that grow without bound as x approaches a finite value:
x→alimf(x)=∞orx→alimf(x)=−∞
When this occurs, the line x=a is a vertical asymptote.
For rational functions, dominant term analysis determines behavior at infinity. Divide numerator and denominator by the highest power of x appearing in the denominator, then observe which terms vanish and which remain.
A function is continuous at x=a when the limit equals the function value:
x→alimf(x)=f(a)
This single equation encodes three requirements. First, f(a) must be defined—the function must have a value at a. Second, the limit must exist—f(x) must approach some definite value as x→a. Third, these two values must match.
Failure of any condition creates a discontinuity. A hole in the graph (removable discontinuity) occurs when the limit exists but differs from the function value or the function is undefined. A jump discontinuity occurs when left and right limits differ. An infinite discontinuity occurs when the function blows up.
The Intermediate Value Theorem guarantees that continuous functions on closed intervals attain every value between their endpoints. This result has profound consequences for proving that equations have solutions.