Differential Calculus
Introduction to Limits
Limits are the idea that separates calculus from algebra: they describe what a function approaches near a point without ever evaluating it there. Every later object in this course - continuity, the derivative, the definite integral, l'Hopital's rule - is defined as a limit, so nothing after this topic is safe if the limit concept is shaky. Here we build the informal picture, the one-sided refinement, the ways a limit can fail, and finally the precise - definition that turns the picture into mathematics.
The informal idea
Informal definition. We write to mean: can be made as close to as we please by taking sufficiently close to , but not equal to .
Three things follow immediately, and all three are examined:
- The point is deliberately excluded. The number - indeed whether exists at all - is irrelevant to .
- "As close as we please" is a promise about every tolerance, not about one convenient one.
- For the two-sided limit at to be discussed, must be defined on a punctured interval for some .
Model example. is undefined at . For every we may cancel: . So even though does not exist.
Theorem (uniqueness of limits). If and , then . This is what licenses the phrase "the limit".
One-sided limits
means as approaches through values less than ; uses only values greater than .
Theorem (two-sided from one-sided). Suppose is defined on a punctured interval about . Then Both one-sided limits must exist and must be equal; either failure kills the two-sided limit.
At an endpoint of the domain only the one-sided statement is meaningful. For we have , while is not discussed, because there is no punctured interval around inside the domain .
How a limit can fail to exist
| Failure mode | Model example at | Why the limit fails |
|---|---|---|
| Jump | for and for , | both one-sided limits exist ( and ) but disagree |
| Unbounded, same sign | , | exceeds every bound; no real works. We write as shorthand |
| Unbounded, opposite signs | , | left side runs to , right side to ; a vertical asymptote |
| Oscillation | , | in every punctured interval about the values sweep all of |
An infinite limit is a description of failure, not an existence claim: is not a real number, so "" and "the limit does not exist" are both correct and are saying the same thing at different levels of detail.
Reading limits off a graph
| What you see near | Conclusion |
|---|---|
| Both branches head toward the same height | , whatever happens at itself |
| A solid dot at | ; this says nothing about the limit |
| An open circle at , curve otherwise unbroken | but or undefined |
| Two branches arriving at different heights | limit does not exist (jump); record both one-sided values |
| A vertical asymptote at | limit does not exist; record or on each side |
| Infinitely many wiggles compressing as | limit does not exist (oscillation) |
Practical rule: to read , put a finger on the curve to the left of and slide right, reporting the height your finger tends to. Never let your finger jump to a stray dot.
The precise definition
Definition (-). Let be defined on a punctured interval about and let be a real number. Then means:
for every there exists such that, for all , if then .
Read it as a game: is a vertical tolerance handed to you by an opponent; is the horizontal tolerance you must produce in reply. Crucially, may depend on and on , but never on , because is quantified after . The clause excludes .
| Statement | Precise meaning |
|---|---|
| for every there is : if and , then | |
| for every there is : if , then | |
| for every there is : if , then | |
| for every there is : if and , then | |
| for every there is : if and , then |
Negation. means: there exists such that for every there is some with and . To prove a limit does not exist, you must defeat every candidate at once - usually by exhibiting two families of inputs, arbitrarily close to , whose outputs stay a fixed distance apart.
Two structural facts worth memorising: if a given works, then every smaller positive works too; and you are never asked for the largest , only for one that works.
Worked example 1 (linear): prove
Scratch work (not the proof). Start from what we must make small and factor out : This is less than exactly when . That reverse-engineers .
Proof. Let be given. Put , which is positive. Suppose . Then Since was arbitrary, .
For any linear with , the same computation gives , so always works. (If the function is constant and any works.) Concretely, for here, .
Worked example 2 (quadratic): prove
Scratch work. Factor: . We control directly, but is a nuisance factor that must be bounded first. Agree in advance that . Then , so by the triangle inequality (equivalently: gives , hence ). Therefore , which is below once . Both requirements are met by taking the smaller of the two.
Proof. Let . Put which is positive because both entries are. Suppose . Since we have , hence . Since we have . Multiplying the two bounds (all quantities are non-negative): Since was arbitrary, .
Sanity check with : then . At , and the error ; at , and the error .
Common mistakes
- Wrong: , automatically. Right: that equation is the definition of continuity at , a property to be verified, not part of the limit definition. The limit never inspects .
- Wrong: ", so the limit exists." Right: is not a real number; the limit does not exist. The symbol records how it fails.
- Wrong: choosing . Right: may not mention - is quantified after . Bound the nuisance factor with a preliminary restriction such as , then take a minimum.
- Wrong: writing as an identity of functions. Right: the left side is undefined at , so they are different functions. They agree for , which is precisely why cancelling is legal inside .
- Wrong: reading "" as "the limit is negative". Right: the superscript names the side of that comes from; it says nothing about the sign of .
- Wrong: tabulating at , getting , and concluding the limit is . Right: those samples all land on zeros of the sine; the limit does not exist. A table can suggest an answer, never prove one.
- Wrong: producing one for one specific and calling it a proof. Right: the proof must give as a formula in valid for every .
- Wrong: dropping the "" and writing only . Right: with admitted, the function equal to for and to at would have no limit at ; in fact its limit there is .
- Wrong: concluding the limit exists because the right-hand limit exists. Right: both one-sided limits must exist and agree - except at a domain endpoint, where only the one-sided statement is posed.
- Wrong: cancelling a factor of in and worrying that it is illegal. Right: inside we always have , so the cancellation is valid on the whole punctured interval.
Key terms
- limit
- one-sided limit
- left-hand limit
- right-hand limit
- punctured interval
- does not exist (DNE)
- jump discontinuity
- oscillation
- infinite limit
- vertical asymptote
- epsilon-delta definition
- uniqueness of limits
- removable discontinuity
- reading limits from a graph
Practice Problems
Let Find (a) , (b) , (c) , and (d) . Comment on the relationship between (c) and (d).
Show hint
Each one-sided limit uses only the formula valid on that side of ; the value at is a completely separate question.
Show answer
(a) Left-hand limit. For the active rule is , so
(b) Right-hand limit. For the active rule is , so
(c) Two-sided limit. Both one-sided limits exist and both equal . By the theorem " if and only if both one-sided limits exist and equal ",
(d) Value. The middle line of the definition applies exactly at , so .
Comment. The limit is and the value is ; they are different, and that is perfectly legal. The limit is computed from a punctured interval about and never looks at itself. Because the limit exists but differs from the value, has a removable discontinuity at : redefining would make continuous there.
Let .
(a) Find and .
(b) Does exist?
(c) Prove your answer to (b) directly from the - definition.
Show hint
Remove the absolute value by splitting into the cases and , using when and when .
Show answer
The domain of is every real with , so a punctured interval about is available and the question makes sense.
(a) Split on the sign of .
If then , so and
If then , so and
(b) Both one-sided limits exist, but . Therefore does not exist. This is the jump failure mode.
(c) Proof from the definition. Suppose, for contradiction, that some real number satisfies . Apply the definition with : there is a such that The punctured interval contains points on both sides of . Take both of which satisfy . By part (a), and , so Now apply the triangle inequality: which says : a contradiction. Hence no real can be the limit, and does not exist.
The graph of has domain and consists of exactly three pieces:
- a straight segment from the solid endpoint rising to an open circle at (these are the points with );
- a single solid dot at ;
- a straight segment from an open circle at rising to the solid endpoint (these are the points with ).
Find (a) , (b) , (c) , (d) , (e) and , (f) , and explain why is not posed.
Show hint
Recover the equation of each straight piece from its two listed endpoints; an open circle still tells you the height that branch is heading toward.
Show answer
Recover the formulas.
Left piece: through and , slope , so the line is . Check: at , ; at , . Hence for .
Right piece: through and , slope , so the line is . Check: at , ; at , . Hence for .
(a) . The circle at being open is irrelevant: the limit records the height the branch heads toward, not whether the point is attained.
(b) .
(c) The one-sided limits are and . They both exist but , so does not exist; the graph jumps by at .
(d) , read off the solid dot. Notice that the three numbers , and are all different: left limit, right limit and value are three independent pieces of information.
(e) The point lies strictly inside the interval , so on both sides of the rule is . Therefore Limit equals value, so is continuous at .
(f) , which also equals . The two-sided limit at is not posed because is undefined for : there is no punctured interval about contained in the domain, so there is no right-hand branch to approach along. At a domain endpoint only the one-sided limit is meaningful.
Let , defined for with . Values of , rounded to six decimal places:
| 0.167132 | 0.166713 | 0.166671 | 0.166662 | 0.166620 | 0.166206 |
(a) Guess from the table.
(b) Confirm the exact value by algebra.
(c) Using sampled at , explain why a table can never prove a limit.
Show hint
For (b), the numerator is a difference involving a square root: multiply top and bottom by its conjugate.
Show answer
(a) Reading in from both ends, the values approach from above on the left and from below on the right. The natural guess is
(b) Exact confirmation. Take any with and . Since , multiplying by the conjugate is legal: Cancelling is valid because everywhere on the punctured interval that the limit uses. As we have and , so This matches the table: for instance at , , exactly the tabulated entry.
(c) Why tables are not proofs. Evaluate at the suggested points: The table reads and appears to shout "the limit is ". But take for a positive integer . Then , so , and as . So arbitrarily close to there are inputs with output as well as inputs with output , and does not exist. A table samples finitely many points; a limit is a claim about all points near . Tables suggest, definitions prove.
Let where is a constant.
(a) Find every value of for which exists, and state the limit.
(b) For that value of , compute and compare it with the limit.
(c) If instead , find the two one-sided limits and describe how the limit fails.
Show hint
Compute each one-sided limit as an expression in , then force the two expressions to agree.
Show answer
(a) For the rule is the polynomial , so For the rule is the polynomial , so The two-sided limit exists exactly when these two numbers are equal: So is the only value. Verify both sides with : the left-hand limit is and the right-hand limit is . They agree, so
(b) The second line of the definition covers , so it is the one that applies at : The limit equals the value, so is in fact continuous at for .
(c) With the pieces become for and for . Then Both one-sided limits exist, but , so does not exist. The failure is a jump of size ; note that the function is bounded and perfectly tame on each side, so nothing here is about blowing up or oscillating.
Let and .
(a) Find and , and say what this means for .
(b) Prove straight from the definition: for every there is such that implies .
(c) Does exist?
Show hint
For (a) track the sign of on each side. For (b) start from the inequality you want, , and solve it for .
Show answer
(a) As we have with shrinking to , so is negative with unbounded magnitude: As we have and small, so Neither one-sided limit is a real number, so does not exist. Moreover, because the two sides run to opposite infinities, we cannot even record a single symbol or for the two-sided limit. The line is a vertical asymptote of .
(b) Proof. Let be given. Work backwards from the target. For we have , so So set Now suppose . Squaring the positive quantities preserves the inequality: Taking reciprocals of positive numbers reverses the inequality: Since was arbitrary, .
Numerical check: for the recipe gives . At we have and , as promised.
(c) No. The statement "" is not an existence claim: is not a real number, and the definition of "the limit exists" requires a real . The equation is a precise description of the failure - eventually exceeds every bound near . If asked "does the limit exist?", answer no; if asked "describe the behaviour", answer .
Let , , .
(a) Find the largest for which "" is true.
(b) Do the same for .
(c) Give as a formula in an arbitrary and write out the full proof that .
Show hint
Simplify before doing anything else; for a linear function it collapses to a constant times .
Show answer
First simplify the quantity that must be made small:
(a) We need , i.e. . So the implication is true precisely when , and the largest such is Any smaller positive also works; the definition never requires the largest one.
(b) We need , i.e. , so the largest is
(c) General proof. Let be given. Put which is positive since . Suppose . Then Since was arbitrary, the definition is satisfied and .
Consistency check against parts (a) and (b): the formula gives and , matching both answers exactly.
(a) Prove from the - definition that .
(b) State a that works for a general linear function at a general point , and say what happens in the edge case .
Show hint
Compute and factor out ; the negative coefficient disappears once it is inside the absolute value.
Show answer
Plausibility check. At : , so is the right target.
Scratch work. Simplify what must be made small: This is below exactly when .
(a) Proof. Let be given. Put Suppose . Then Since was arbitrary, .
Numerical check with : the recipe gives . At we have , and , so the error is , as promised.
(b) General linear case. For the limit at is , and If , take and then gives .
Edge case : the formula is undefined, but here is the constant and , so for every . Any works, for instance .
Show that does not exist. Give both a short "two families of inputs" argument and a complete contradiction proof from the - definition. Then contrast the behaviour with .
Show hint
Look for inputs arbitrarily close to at which the function is exactly , and other inputs arbitrarily close to at which it is exactly .
Show answer
Two families of inputs. For each positive integer set Both are positive, and both tend to as because their denominators tend to . Their function values are So in every punctured interval about the function attains both the value and the value . It cannot be settling toward a single number, so the limit does not exist.
Full proof by contradiction. Suppose some real number satisfied . Apply the definition with : there is such that Choose an integer , which is possible since the integers are unbounded. Then , so the middle inequality because . Both and therefore satisfy the hypothesis , so The triangle inequality now gives that is, : a contradiction. No real works, so does not exist.
Contrast. The failure here is oscillation, not size: never leaves . If we multiply by , the amplitude is crushed. Since for all , and both bounds tend to , the Squeeze Theorem gives Same infinitely many wiggles, but now they are trapped in a shrinking envelope, so the limit exists.
Prove from the - definition that . State explicitly where the preliminary restriction is used and why it is needed.
Show hint
Factor . One factor you control directly; the other must first be bounded by agreeing in advance to keep within distance of .
Show answer
Scratch work. Factor the quantity that must be made small: The factor is exactly what controls. The factor is a nuisance: it must be bounded by a constant before the product can be forced below . So agree in advance that . Then , and by the triangle inequality (Equivalently: means , hence , so .) With that bound, , which is below as soon as . Both requirements are enforced at once by taking the smaller of and .
Proof. Let be given. Define This is positive because both entries are positive. Suppose .
Since , we have , and therefore Since , we have .
Multiplying these two bounds (both sides non-negative): Since was arbitrary, .
Where is used and why. It is used only to produce the bound . Without some preliminary restriction, could in principle be far from , making arbitrarily large; then the product need not be small even when is. The choice of is arbitrary convenience: would give and , equally valid.
Numerical check. With the recipe gives . At : , error . At : , error . Both are within tolerance.
Prove from the - definition that . Then redo the choice of using the preliminary restriction instead of , and explain why both answers are correct.
Show hint
The expression factors, and one of its factors is .
Show answer
Plausibility check. At : , so is the right target.
Factor. The polynomial has roots and , so Expand to confirm: . Hence
Bound the nuisance factor. Agree that . Then , so , so , giving . (Triangle-inequality version: .) Thus , which is below once .
Proof. Let be given. Define Suppose . Since we get , hence . Since we get . Therefore Since was arbitrary, .
Version with . Now gives , hence , so . Then , which is below once . So also works, by the identical argument.
Why both are correct. The definition asks only for the existence of some that does the job; it is never unique. In fact if one works then every smaller positive works too, since shrinking only shrinks the set of that must satisfy the conclusion.
Numerical check. With the first recipe gives . At : , error . At : , error . Both within tolerance.
Prove from the - definition that . Explain why a preliminary restriction on is not merely convenient here but genuinely necessary.
Show hint
Combine the difference into a single fraction; the denominator still contains , so before you can control anything you must keep bounded away from .
Show answer
Scratch work. Combine into one fraction: using and (since ).
The factor is controlled by . The factor is the nuisance, and it is worse than in a polynomial problem: it blows up as approaches , and the expression is not even defined at . So restrict first: require . Then , so Hence , which is below once .
Proof. Let be given. Define which is positive because both entries are. Suppose .
Because : , so . In particular , so is defined, and , giving
Because : .
Multiplying the two non-negative bounds: Since was arbitrary, .
Why the restriction is necessary. Two reasons, and the second is the serious one. First, without a bound the factor is unbounded, so no inequality of the form holds with a fixed constant on the whole line. Second, is not even defined at ; a larger than would admit -values at and beyond , where the expression is meaningless. Any restriction keeping strictly away from would do, for example (giving , , and ).
Numerical check. With the recipe gives . At : , error . At : , error . Both within tolerance.
