2. Limits: A Study Guide
A progressive guide to interpreting, evaluating, and formally defining limits, including one-sided behavior, algebraic techniques, asymptotes, and limits at infinity.
Understanding What a Describes
A describes the output value a function approaches as its input gets close to a specified number. The notation means that approaches as approaches . The input need not equal , and the function need not be defined at .
A removable discontinuity
Consider
At , the original expression is undefined. For , however,
Therefore,
The graph has a hole at , but the exists because nearby values approach . This distinction between a function's value and its is fundamental: the concerns nearby behavior, not necessarily the value at the target input.
Estimating from tables and graphs
Values close to the target can suggest a . For the function above, values at are respectively , which indicates approach toward . On a graph, follow the curve toward the target from both sides. If both sides approach the same height, that height is the two-sided ; a missing point does not prevent the from existing.
Takeaway: A describes nearby behavior and can exist even when the function is undefined at the point.
Comparing Left- and Right-Hand Behavior
To determine a two-sided , compare behavior from the left and from the right. The examines inputs less than , while examines inputs greater than .
The existence test
The relationship is
Both one-sided limits must exist and agree. If they approach different values, the two-sided does not exist.
Example: a jump
Let
Then
Because the one-sided limits disagree, does not exist. This approach is especially useful for piecewise functions and for analyzing behavior near a possible .
A can also fail because the function grows without bound or oscillates without settling toward one value. In every case, the value assigned exactly at does not determine the two-sided .
Takeaway: Always check both sides when a function is piecewise, discontinuous, or undefined near the target.
Making Limits Precise with Epsilon and Delta
The intuitive idea that outputs get arbitrarily close to can be expressed precisely by the . The statement
means that for every , there is a such that
The quantity is the permitted output error. The quantity is the input distance that guarantees this error bound. The condition excludes the point , which is why the value is irrelevant to the .
Example: a linear function
To prove
rewrite the output difference:
Given any , choose
If , then
This verifies the . For a right-hand , the input condition is ; for a left-hand , it is .
Takeaway: The formal definition turns “gets close” into a quantified guarantee: every output tolerance can be achieved by choosing a suitable input tolerance.
Using and Algebraic Simplification
When the component limits exist, allow a complicated expression to be broken into simpler parts. If
then sums, differences, constant multiples, products, powers, and appropriate roots follow the corresponding algebraic rules. For quotients,
requires .
Direct substitution
Polynomials can be evaluated by direct substitution:
For a rational function whose denominator does not approach zero,
Direct substitution is not a complete method when it produces an such as . That result signals the need for additional algebraic or analytic work.
Factoring and canceling
For
factor the numerator:
Thus,
The cancellation preserves the behavior near , even though the original expression remains undefined at that point.
Rationalizing with a conjugate
For
multiply by the conjugate:
for . Therefore, the equals .
Takeaway: Use direct substitution when valid; when it gives , simplify without changing the nearby behavior.
Applying the
The is useful when a function is difficult to evaluate directly but can be bounded by simpler functions. If
near , and
then
Oscillation controlled by shrinking bounds
Because
multiplication by gives
As , both and approach . The therefore yields
The middle function oscillates increasingly rapidly, but its amplitude shrinks toward zero, forcing its values toward zero.
Takeaway: Matching bounds can establish a even when the function itself is oscillatory or awkward to simplify.
Analyzing Infinite Behavior and Asymptotes
An describes unbounded behavior as the input approaches a finite number. For example,
means that the function eventually exceeds every prescribed positive bound as approaches zero from the right. It does not mean that the function reaches a real value called infinity. From the left,
Since the two sides have different behavior, there is no two-sided at zero for this function.
A is a line where at least one is infinite. For
both one-sided limits as are , so is a . To determine the sign near such a line, inspect the signs of the numerator and denominator on each side of the critical input.
Limits at infinity
A at infinity describes end behavior:
means that the function approaches as increases without bound. The analogous notation with describes behavior as decreases without bound. If either equals , then is a .
For a rational function :
If the degree of is less than the degree of , the is .
If the degrees are equal, the is the ratio of the leading coefficients.
If the degree of is greater, this comparison does not produce a ; polynomial or oblique behavior may occur.
For example,
so is a . Also,
so is a . A graph may cross a ; the line describes end behavior rather than a forbidden intersection.
Takeaway: Infinite limits describe unbounded local behavior, while limits at infinity describe long-run behavior.
A Practical Workflow for Finding Limits
A reliable procedure helps organize problems.
Decision process
Try direct substitution.
If the result is a defined finite expression, use it.
If the result is , factor, cancel, rationalize, or combine fractions.
If the function is piecewise or discontinuous, calculate the left-hand and right-hand limits separately.
If the denominator approaches zero while the numerator does not, analyze signs on both sides to determine possible infinite limits.
If the input approaches or , compare dominant terms, especially the highest powers in a rational function.
Interpret the result graphically: a hole indicates a removable discontinuity, unequal one-sided limits indicate a jump, and infinite behavior indicates a .
Connections across methods
Tables and graphs are useful for estimating behavior and forming a conjecture. Algebraic simplification can establish exact values for many expressions. One-sided analysis handles directional behavior, while the supplies the foundational standard for a rigorous finite . The same concept therefore connects numerical, graphical, algebraic, and formal reasoning.
Final checklist: Ask what the input approaches, test direct substitution, identify any , choose an appropriate simplification or comparison, check both sides when necessary, and interpret the result in terms of the graph.