Neural Sync Active
Limits of Functions (Layered)
Registry Synced
Limits of Functions (Layered)
3695 words
18 min read
2026-09-12
Reading compass
Now · Where this chapter sits
Limits of Functions
One sitting
This chapter is designed to be read start-to-finish in one focused session
(roughly 45–60 minutes including the checks). By the end you will be able to
read limit notation aloud, evaluate limits with a five-step toolkit, recognize
every standard way papers ask about limits, and know exactly what to do next.
Where this chapter sits
The limit is the single idea the rest of calculus is built on: a derivative
is a limit of slopes, an integral is a limit of sums, and continuity is
a statement about limits. If limits feel solid, the next three chapters get
dramatically easier.
You need first:
- Sequences and Convergence — the idea of values "settling toward" a target
- Functions and Their Types — reading f(x) behavior near a point
- Polynomial Operations — factoring, which powers the most common technique
This unlocks:
- Continuity — "the limit equals the value"
- Derivatives — defined as a limit of difference quotients
How to read the symbols
Every symbol below appears in this chapter. Read this table once now, and come
back to it whenever a formula stops making sense — most confusion about limits
is actually confusion about notation.
| Symbol | Read it aloud as | What it means | Worth remembering |
|---|---|---|---|
| limx→af(x) | "the limit of f of x as x approaches a" | the value f(x) trends toward as x closes in on a | lim is from Latin līmes, "boundary" — the value at the edge of the approach |
| → | "approaches" / "tends to" | gets arbitrarily close to, without needing to arrive | the arrow notation was popularized by G. H. Hardy (1908) |
| x→a− | "x approaches a from the left" | only values smaller than a (think: from the minus side) | the sign marks the side, not a negative number |
| x→a+ | "x approaches a from the right" | only values larger than a | — |
| ∞ | "infinity" | unbounded growth — a direction, not a number | the lemniscate symbol was introduced by John Wallis (1655) |
| DNE | "does not exist" | the two sides disagree, oscillate, or blow up | writing "=DNE" is accepted shorthand in answers |
| 00, ∞∞, 1∞, … | "indeterminate form" | the form alone does not determine the answer — more work needed | indeterminate ≠ undefined: it means "undecided until you look closer" |
| ⟺ | "if and only if" | each side implies the other | both directions must hold |
| f′(x) | "f prime of x" | the derivative of f (used only in the L'Hôpital section) | Lagrange's prime notation |
Layer 1 — Intuition: the trend, not the value
What happens to f(x)=x2 as x gets closer and closer to 3? Watch the
numbers approach from both sides:
| x (from the left) | f(x) | x (from the right) | f(x) | |
|---|---|---|---|---|
| 2.9 | 8.41 | 3.1 | 9.61 | |
| 2.99 | 8.9401 | 3.01 | 9.0601 | |
| 2.999 | 8.994 | 3.001 | 9.006 |
Both columns are being squeezed toward the same number, 9. We write
limx→3x2=9.
Here is the idea that makes limits interesting rather than just "plugging in":
The limit ignores what happens AT the point
Take g(x)=x−2x2−4. At x=2 this is 00 —
undefined. The function has a hole there. Yet for every x=2,
g(x)=x+2, so as x→2 the outputs trend cleanly toward 4.
The limit exists (=4) even though the value g(2) does not.
A limit describes the approach, never the arrival.
That is why limits can define derivatives: a slope at a single point is a
00 situation ("rise zero over run zero"), and only the trend of
nearby slopes makes sense of it.
Layer 2 — The definition, made precise
Informal definition.
means: f(x) can be made arbitrarily close to L by taking x
sufficiently close to a (from either side), without requiring x=a.
Think of it as a challenge game: a skeptic demands "get f(x) within one
millionth of L", and you must be able to answer "done — for every x within
this distance of a". If you can win the game for every demanded closeness,
the limit is L. (The formal ε–δ version of this game is
beyond what Week 7 requires, but this is exactly what it says.)
One-sided limits
- Left-hand limit limx→a−f(x): approach using only x<a.
- Right-hand limit limx→a+f(x): approach using only x>a.
The two-sided limit exists exactly when both sides exist and agree:
Non-examples: the three ways a limit fails
A concept is only half-learned until you can say what it is not. A limit at
a fails to exist in exactly three ways:
| Failure mode | Example | What goes wrong near the point |
|---|---|---|
| Jump — sides disagree | f(x)=x∣x∣ at x=0 | left side trends to −1, right side to +1 |
| Blow-up — unbounded | f(x)=x21 at x=0 | outputs grow without bound (we may write →∞, but no finite limit exists) |
| Oscillation — never settles | f(x)=sin(x1) at x=0 | the outputs sweep through [−1,1] forever, faster and faster |
1
Question 1
Type: MCQ | Marks: 1 | Topic: One-sided limits and existence
Let
What is limx→2f(x)?
MCQ
One-sided limits and existence
3 Unit Assessment
A
3
B
5
C
4
D
The limit does not exist
Layer 3 — The evaluation toolkit
Almost every limit question is solved by walking this ladder in order:
- Substitute x=a. Got a plain number? Done — that is the limit.
- Got 0nonzero? The limit is infinite or DNE (check the sign from each side).
- Got 00? Rewrite: factor, rationalize, or match a standard limit — then substitute again.
- Limit at ∞ of a ratio? Divide by the highest power (or compare degrees).
- Still stuck on 00 or ∞∞? L'Hôpital's rule.
Limit laws
If limx→af(x)=L and limx→ag(x)=M (both finite):
| Law | Statement | Caution |
|---|---|---|
| Sum | lim[f(x)+g(x)]=L+M | — |
| Difference | lim[f(x)−g(x)]=L−M | — |
| Product | lim[f(x)g(x)]=LM | — |
| Quotient | limg(x)f(x)=ML | only if M=0 |
| Constant multiple | limcf(x)=cL | — |
| Power | lim[f(x)]n=Ln | — |
| Root | limnf(x)=nL | need L≥0 for even n |
These laws are why direct substitution works for polynomials, and for
rational, trigonometric, exponential, and logarithmic functions anywhere they
are defined.
Standard limits — memorize these five
| Standard limit | Note |
|---|---|
| x→0limxsinx=1 | only in radians |
| x→0limx1−cosx=0 | companion: x→0limx21−cosx=21 |
| x→0limxex−1=1 | "ex looks like 1+x near 0" |
| x→0limxln(1+x)=1 | mirror of the line above |
| x→∞lim(1+x1)x=e | equivalently limx→0(1+x)1/x=e |
The scaling move
Papers rarely give you xsinx raw — they give xsin3x.
Force the pattern to match by scaling:
xsin3x=3⋅3xsin3x→3⋅1=3.
The same move works for ekx−1 and ln(1+kx): the answer picks up a factor of k.
Technique anatomy: factoring a 0/0 limit, every step justified
The single most common exam limit is a rational function that gives
00. Here is one dissected completely — this is the level of
justification you should be able to reproduce:
| Step | What we write | Why it is allowed |
|---|---|---|
| 1. Substitute x=2 | 2−24−4=00 | always try substitution first; 00 signals "rewrite needed", not "no answer" |
| 2. Factor the numerator | x2−4=(x−2)(x+2) | difference of squares; a 00 from polynomials guarantees (x−a) is a common factor |
| 3. Cancel (x−2) | x−2(x−2)(x+2)=x+2 | valid because the limit only uses x=2, and there division by (x−2) is legal |
| 4. Substitute again | limx→2(x+2)=4 | x+2 is a polynomial — direct substitution applies |
Step 3 is the philosophical heart: cancelling is legal precisely because the
limit never uses the point itself. The original function and x+2 differ only
at x=2, and the limit cannot see that one point.
Technique: rationalization (the conjugate move)
When a square root causes 00, multiply top and bottom by the
conjugate (same two terms, opposite sign) to release the hidden factor:
The conjugate works because (A−B)(A+B)=A2−B2 deletes the square
root from the numerator, exposing a factor of x to cancel.
Technique: limits at infinity
For x→∞ of a ratio, divide numerator and denominator by the highest
power of x in the denominator — every xkc term then dies:
The shortcut worth internalizing (and being able to re-derive):
| Degrees | limx→∞q(x)p(x) |
|---|---|
| degp<degq | 0 |
| degp=degq | ratio of leading coefficients |
| degp>degq | ±∞ (no finite limit) |
Technique: L'Hôpital's rule
If substituting gives exactly 00 or ∞∞, and
limg′(x)f′(x) exists, then:
Differentiate the numerator and denominator separately — this is not the
quotient rule. (The rule is named for Guillaume de l'Hôpital, who published it
in 1696; it was actually discovered by his hired tutor Johann Bernoulli — a
useful memory hook: someone else does the work, the name on top gets credit,
and so does the derivative of the top.)
Example (repeat if still indeterminate):
Each application is legal because the form was ∞∞ at that
stage. This example also teaches a fact worth keeping: exponentials beat
polynomials in any race to infinity.
Example (0/0, two rounds):
Technique: the 1∞ form
For limf(x)g(x) where f→1 and g→∞, use:
Example: limx→0(1+2x)1/x=elimx→02x⋅x1=e2.
All indeterminate forms at a glance
| Form | Example | Standard treatment |
|---|---|---|
| 00 | x−2x2−4 at x=2 | factor / rationalize / standard limits / L'Hôpital |
| ∞∞ | 4x2−13x2+2x, x→∞ | divide by highest power / L'Hôpital |
| 0⋅∞ | xlnx, x→0+ | rewrite as 00 or ∞∞, e.g. 1/xlnx |
| ∞−∞ | x+1−x, x→∞ | common denominator or conjugate |
| 1∞ | (1+x1)x, x→∞ | elim(f−1)g |
| 00, ∞0 | xx, x→0+ | take ln, resolve, exponentiate back |
Question-pattern anatomy
There are only a handful of concepts in this chapter, and papers can only probe
them in a handful of shapes. Learn to name the pattern before touching the
algebra — recognition is half the marks. These patterns are distilled from the
structure of the toolkit above and the archived May 2026 papers (drillable on
the checkpoint desk); they are not tied to any live graded work.
| # | Pattern | Recognition cue | Attack | The planted trap |
|---|---|---|---|---|
| 1 | Disguised substitution | limit looks scary but denominator is nonzero at a | just substitute | panicking into L'Hôpital and wrecking a finished answer |
| 2 | Factorable 00 | rational function, both top and bottom vanish at a | factor out (x−a), cancel, substitute | sign slips while factoring; forgetting to re-substitute |
| 3 | Conjugate radical | ⋅−number over something vanishing | multiply by conjugate | multiplying only the numerator |
| 4 | Standard-limit scaling | sinkx, ekx−1, or ln(1+kx) over x | force the exact pattern, collect the factor k | sin2xsin5x needs the move twice → 25 |
| 5 | Degree race | rational function, x→∞ | compare degrees / divide by highest power | reading the answer off the constant terms instead of leading terms |
| 6 | One-sided / piecewise | piecewise definition, or ∣x∣, near the seam | compute left and right separately, then compare | reporting f(a) instead of the limit; missing that sides disagree |
| 7 | 1∞ compound | (1+small)large | elim(f−1)g | answering 1 ("one to any power is one" — false here) |
| 8 | L'Hôpital bait | quotient that is not 00 or ∞∞ | substitute normally | the question is designed so L'Hôpital gives a clean wrong number |
2
Question 2
Type: MCQ | Marks: 1 | Topic: Standard-limit scaling (pattern 4)
Evaluate x→0limsin2xsin5x.
MCQ
Standard-limit scaling (pattern 4)
3 Unit Assessment
A
1
B
25
C
52
D
The limit does not exist
3
Question 3
Type: NAT | Marks: 1 | Topic: Factorable 0/0 (pattern 2)
Evaluate x→3limx−3x2−9. Enter the value.
MCQ
3 Unit Assessment
Reference-only archive item
The completed export preserved the prompt as an image but not a reusable answer key. The reconstruction below is for study, not scoring.
Study reconstruction
Accepted Answer: 6
Substitution gives 00. Factor:
x−3(x−3)(x+3)=x+3→6.
4
Question 4
Type: MCQ | Marks: 1 | Topic: L'Hôpital bait (pattern 8)
Evaluate x→1limx+1x2+1.
MCQ
L'Hôpital bait (pattern 8)
3 Unit Assessment
A
1
B
2
C
0
D
The limit does not exist
Common mistakes
Using L'Hôpital on a non-indeterminate form
limx→1xx2=1 by substitution. L'Hôpital would give
12x→2 — wrong, because the form was 11. The rule's
precondition is exactly 00 or ∞∞.
Confusing the limit with the value
limx→af(x) and f(a) are independent pieces of information. Either
can exist without the other. (When they exist and agree, that is precisely
what the next chapter calls continuity.)
Declaring a two-sided limit from one side
If limx→a−f(x)=limx→a+f(x), the two-sided limit
does not exist — full stop. Piecewise and ∣x∣ questions are
built on this.
Using
xsinx→1 in degrees
The standard limit holds only for x in radians. In degrees the limit is
180π — which is why radians are the default in calculus.
L'Hôpital via the quotient rule
The rule says g′f′ — top and bottom differentiated separately.
Applying the quotient rule to the whole fraction is a different (wrong) object.
Worked exercise set
Twelve exercises spanning every pattern, with full working. Cover the working,
attempt each one, then compare — and for each, name the pattern (1–8) before
solving. If you want the answers hidden and scored, use the interactive
questions above and the drill decks instead.
Q1 (pattern 1): Find limx→3(2x+1).Direct substitution: 2(3)+1=7. 7
Q2 (pattern 2): Find limx→2x−2x2−3x+2.Factor: x−2(x−1)(x−2)=x−1→1. 1
Q3 (pattern 3): Find limx→0x4+x−2.Rationalize: x(4+x+2)(4+x−2)(4+x+2)=x(4+x+2)x=4+x+21→41. 41
Q4 (pattern 5): Find limx→∞2x2+75x2−3x+1.Equal degrees → ratio of leading coefficients: 25. 25
Q5 (pattern 4): Find limx→0xsin3x.xsin3x=3⋅3xsin3x→3⋅1=3. 3
Q6 (pattern 4): Find limx→0x21−cosx.L'Hôpital (form 00): limx→02xsinx=21⋅1=21. 21
Q7 (pattern 4): Find limx→0xe2x−1.Scale: 2⋅limx→02xe2x−1=2⋅1=2. 2
Q8 (pattern 4): Evaluate limx→0sinxx2.sinxx2=sinxx⋅x→1⋅0=0. 0
Q9 (pattern 2): Find limx→1x−1x3−1.Factor: x−1(x−1)(x2+x+1)=x2+x+1→3. 3
Q10 (0⋅∞): Find limx→0+xlnx.Rewrite as 1/xlnx (form ∞−∞), then L'Hôpital: −1/x21/x=−x→0. 0
Q11 (L'Hôpital): Find limx→0sinxex−1.Form 00: cosxex→11=1. 1
Q12 (pattern 7): Find limx→0(1+2x)1/x.1∞ form: elimx→0(1+2x−1)⋅x1=elim2x/x=e2. e2
Check yourself — blank-page recall
Close the notes and answer from memory. If one stalls, the section to reread is
named — that stall is the point of the exercise, not a failure.
- Explain to an imaginary classmate why limx→2x−2x2−4 can equal 4 when the function is undefined at 2. (Layer 1)
- List the three ways a limit can fail to exist, with one example each. (Layer 2)
- Write the five standard limits from memory, and state the one condition attached to the sine limit. (Layer 3)
- What exactly must be true before L'Hôpital's rule may be used, and what do you differentiate? (Layer 3)
- Name the eight question patterns and the trap planted in each. (Pattern anatomy)
Key formulas — one screen
x→0limxsinx=1x→0limxex−1=1x→0limxln(1+x)=1x→∞lim(1+x1)x=e| Form met | Move |
|---|---|
| plain number on substitution | done |
| 00, polynomial | factor and cancel |
| 00, radical | conjugate |
| 00, sin / exp / log | standard limits + scaling |
| ratio as x→∞ | degree comparison |
| 00 or ∞∞, else | L'Hôpital |
| 1∞ | elim(f−1)g |
| 0⋅∞, ∞−∞ | rewrite into a quotient first |
Next action
- Next chapter: Continuity — limits meeting values.
- Drill now: the Maths deck on the Quiz 3 checkpoint desk — attempt first, key after commit.
- Spacing (planning suggestion, not a rule): redo the blank-page recall tomorrow (~10 min); redo only your missed exercises in 3 days.
Chapter provenance: authored 2026-09-12 to the layered-chapter standard
(
docs/roadmaps/2026-09-12-claude-content-ecosystem.md), derived from the
2026-08-01 iitm-study-os import (source URL in front matter). The untouched
import is preserved alongside as “Limits of Functions” — imports are source,
never destination. Graphs for the Layer 1–2 examples are a known gap — numeric
tables stand in until a visual earns its pixels.