Limit Notation & the Intuitive Idea
The statement means: as gets arbitrarily close to (from both sides) but , the outputs get arbitrarily close to . A limit describes where a function is heading, not necessarily its value at . In fact may be undefined, or different from .
The limit describes the trend of the outputs near , not the output at . That separation is the whole point: the derivative is a limit of slopes , an expression that is meaningless at itself, so calculus needs a way to talk about where a quantity is heading without ever evaluating it there.
You can estimate a limit from a table (plug in values of close to from both sides) or from a graph (trace the curve toward from the left and the right).
Estimate .
Both sides approach , so the limit is (even though is undefined).
Assuming a limit exists because the function is defined there, or vice versa. Existence of the limit is about the neighbors; the value at the point is separate. Check both one-sided limits.
Tip: The value is irrelevant to . Only the behavior near matters.
Estimate using and (radians).
Show the answerHide the answer
Answer: . and ; the function is even, so the negative inputs give the same values. Both sides close in on even though itself gives .
Limit Laws & Evaluating Algebraically
If and both exist, then limits distribute over sums, differences, products, quotients (denominator ), constant multiples, and powers/roots. Consequently, for any polynomial or rational function that is defined at , you may use direct substitution.
If is close to and is close to , then is close to and is close to ; the laws make that precise. They let you break a limit into pieces you already know. The one law with a condition is the quotient law, and when the denominator's limit is the algebra (factoring, conjugates) is what rescues the calculation.
Strategy when direct substitution gives (indeterminate):
- Factor and cancel the common factor.
- Rationalize (multiply by the conjugate) when a square root appears.
- Combine a complex fraction into a single fraction, then simplify.
Tip: is indeterminate, not an answer — it signals you must simplify. But signals an infinite limit or a vertical asymptote.
Evaluate .
Show the answerHide the answer
Answer: . Substitution gives . Factor the denominator as a difference of squares: , so the quotient is .
One-Sided Limits & When a Limit Fails to Exist
uses only (approach from the left); uses only (approach from the right). The two-sided limit exists if and only if both one-sided limits exist and are equal:
A two-sided limit asks the outputs to settle on one number no matter which side comes from. Checking each side separately is how you catch the functions that settle on two different numbers, such as step and piecewise functions, and it is the natural question at an endpoint, where only one side exists.
A limit fails to exist (DNE) when: the left and right limits disagree (a jump); the function grows without bound (); or the function oscillates without settling (e.g. near ).
Jump discontinuity at : , , so DNE.
Let for and for . Find , , , and decide whether exists.
Show the answerHide the answer
Answer: , , ; the limit does not exist. Each side uses its own formula: from the left, from the right. They disagree, so there is a jump at .
Infinite Limits & Limits at Infinity
An infinite limit, e.g. , means grows without bound near ; the line is a vertical asymptote. A limit at infinity, e.g. , describes end behavior; the line is a horizontal asymptote.
Rational end behavior as : compare degrees.
- deg top deg bottom limit .
- deg top deg bottom limit ratio of leading coefficients.
- deg top deg bottom limit (no horizontal asymptote).
For , , but for , .
Horizontal asymptote: .
Evaluate and .
Show the answerHide the answer
Answer: and . Just right of the denominator is a tiny positive number, so the quotient is huge and positive. For the second, the degrees are equal, so the limit is the ratio of leading coefficients.
Continuity at a Point & Types of Discontinuity
is continuous at if and only if all three hold:
- is defined;
- exists;
- .
Each condition rules out one way of breaking the graph. Without a value at there is a hole; without a limit there is a jump or a blow-up; with both but unequal, the dot has been moved off the curve. When all three hold, the value at is exactly what the nearby values predict, so the graph passes through without a break.
Types of discontinuity:
- Removable (hole): exists but (or undefined). Can be “patched.”
- Jump: left and right limits exist but differ.
- Infinite: the function blows up (vertical asymptote).
Removable discontinuity: exists but sits off the curve.
Find so that for and for is continuous at .
Show the answerHide the answer
Answer: . The left piece gives ; the right piece approaches . Continuity needs , so .
IVT, Squeeze Theorem & the Special Trig Limit
If is continuous on and is any value between and , then there exists at least one in with . Common use: show a root exists by finding a sign change ().
Let (continuous). and , so by IVT there is a with .
If near and , then . Classic use: since .
Tip: only as with the same argument on top and bottom. Match them: .
Evaluate .
Show the answerHide the answer
Answer: . Match the argument: , and .
Going Deeper: Advanced Limit Ideas
means: for every there exists such that
In words: no matter how tight a tolerance you demand around , you can find an input window around that keeps inside that tolerance.
Prove . Given , we need , i.e. . Choose . Then forces .
Find making continuous everywhere, where
For , , so . Continuity requires , hence .
Multiply by the conjugate :
A related result:
If has indeterminate form or and are differentiable, then
Example: . (You will prove this rigorously later; it is a fast check now.)
is the greatest integer , so it jumps at every integer.
But at a non-integer, e.g. (it is locally constant).
Big picture: Every limit technique answers one question — does the function settle to a single finite value as approaches ? Substitution first; if , simplify (factor / conjugate / common denominator / trig identity); if still stuck, L'Hôpital or Squeeze.
Evaluate .
Show the answerHide the answer
Answer: . Use : the quotient is .
Why It Works
The squeeze theorem: if near and both and tend to , then is trapped and tends to too. This proves : comparing the areas of a triangle, a sector and a larger triangle in the unit circle gives for small , and . The intermediate value theorem is a property of the real numbers themselves (they have no gaps), which is why it fails for functions on the rationals.
Do not read a proof the way you read a rule. Cover the last line, ask what the previous line forces, and only then uncover it. If a step feels like magic, that is the step to work by hand with a concrete number.
Formulas, Proofs & Tips
What it means. The slope of the tangent line — the instantaneous rate of change.
Example. For : .
Why it works. is the slope of the secant through two nearby points. Letting slides the second point into the first, so the secant becomes the tangent.
Tip. The must cancel before you substitute ; otherwise you get the meaningless .
What it means. If a limit gives the indeterminate form or , differentiate the top and bottom separately and try again.
Why it works. Near both functions are approximated by their tangent lines, and . The common factor cancels in the ratio, leaving .
Tip. Check the form FIRST — applying it to a limit that isn't indeterminate gives a wrong answer. It is not the quotient rule: do not differentiate as a whole.
What it means. If a function is trapped between two others that meet at , it must go to too.
Example. Since and both bounds , the limit at is .
Why it works. Beyond some point never leaves the gap between and . As that gap closes to zero width around , has nowhere else to go.
Tip. The classic use is , squeezed by and .
What it means. A continuous graph cannot skip a value on its way from to .
Example. is at and at , so it equals somewhere between (at ).
Why it works. Continuity means the graph is drawn without lifting the pen; to get from below to above the pen must cross the line .
Tip. This is how you prove a root exists: if changes sign between and , there is a zero in between.