Limits — Intuitive Approach and L'Hopital's Rule

⚡ Key Takeaways

A limit describes the value a function approaches as its input nears a particular point, even if the function is undefined there. L'Hôpital's Rule evaluates limits of indeterminate form $\tfrac{0}{0}$ or $\tfrac{\infty}{\infty}$ by replacing the ratio of two functions with the ratio of their derivatives. Applies across calculus, physics, and any analysis of rates of change. First published by Guillaume de l'Hôpital (1696), based on work by Johann Bernoulli.

💡 The Core Insight

A limit cares about the journey, not the destination point itself. The value $f(a)$ is irrelevant to $\lim_{x\to a} f(x)$ ; only the behavior of $f$ near $a$ matters. When direct substitution yields a meaningless form like $\tfrac{0}{0}$ , the limit is not necessarily undefined — it is indeterminate, meaning the answer depends on how fast the numerator and denominator each approach zero. L'Hôpital's Rule measures exactly those rates by comparing derivatives.

DefinitionLimit of a Function — Intuitive Form

We say the function $f$ has limit $L$ as $x$ approaches $a$ , written

1

\quad \lim_{x\to a} f(x) = L,

Derivation hint: this is the defining notation; $L$ is the single number the outputs cluster around. if the values $f(x)$ get arbitrarily close to the real number $L$ as $x$ gets arbitrarily close to $a$ from either side, without $x$ ever equaling $a$ .

Symbols:

$f$ — the function under study
$x$ — the input variable, moving toward $a$
$a$ — the point of approach (need not be in the domain of $f$ )
$L$ — the limiting value (a finite real number, in the basic case)

DefinitionOne-Sided Limits

The right-hand limit considers only $x > a$ :

2

\quad \lim_{x\to a^{+}} f(x) = L_{+},

Derivation hint: restrict the approach to values larger than $a$ and see what the outputs cluster around. and the left-hand limit considers only $x < a$ :

3

\quad \lim_{x\to a^{-}} f(x) = L_{-}.

Derivation hint: same idea but approaching from below. The two-sided limit [1] exists if and only if both one-sided limits exist and are equal:

4

\quad \lim_{x\to a} f(x) = L \iff \lim_{x\to a^{-}} f(x) = \lim_{x\to a^{+}} f(x) = L.

Derivation hint: a single cluster value requires agreement from both directions.

DefinitionIndeterminate Forms

When direct substitution into a quotient produces one of

5

\quad \frac{0}{0}, \qquad \frac{\infty}{\infty},

Derivation hint: substitute $x=a$ and observe both parts vanish (or both blow up) simultaneously. the expression is called indeterminate: its value cannot be read off directly and depends on the relative rates of change of numerator and denominator. Other indeterminate forms — $0\cdot\infty$ , $\infty-\infty$ , $1^{\infty}$ , $0^{0}$ , $\infty^{0}$ — can be algebraically rewritten into the form of [5].

TheoremL'Hôpital's Rule

Let $f$ and $g$ be differentiable on an open interval containing $a$ (except possibly at $a$ itself), with $g'(x)\neq 0$ near $a$ . If

6

\quad \lim_{x\to a} f(x) = \lim_{x\to a} g(x) = 0 \quad\text{or}\quad \lim_{x\to a} \frac{f(x)}{g(x)} \text{ has form } \frac{\pm\infty}{\pm\infty},

Derivation hint: this is the entry condition — you must first confirm an indeterminate form. then, provided the right-hand limit exists (or is $\pm\infty$ ),

7

\quad \lim_{x\to a} \frac{f(x)}{g(x)} = \lim_{x\to a} \frac{f'(x)}{g'(x)}.

Derivation hint: replace each function by its derivative; the ratio of instantaneous rates equals the limit of the ratio. The rule also holds for $a = \pm\infty$ and for one-sided limits.

ProofSketch via the Cauchy Mean Value Theorem

We prove the $\tfrac{0}{0}$ case at a finite point $a$ .

Step 1 — Set up. Suppose $f(a)=g(a)=0$ (redefine the functions at $a$ if needed; the limit is unaffected since it ignores $x=a$ ). Assume $f,g$ are continuous on $[a,x]$ and differentiable on $(a,x)$ .

Step 2 — Apply the Cauchy Mean Value Theorem. This generalization of the Mean Value Theorem guarantees a point $c$ strictly between $a$ and $x$ such that

8

\quad \frac{f(x)-f(a)}{g(x)-g(a)} = \frac{f'(c)}{g'(c)}.

Derivation hint: this is the Cauchy MVT — the natural two-function extension of the ordinary MVT.

Step 3 — Use the zero values. Since $f(a)=g(a)=0$ , the left side simplifies:

9

\quad \frac{f(x)}{g(x)} = \frac{f'(c)}{g'(c)}, \qquad c \text{ between } a \text{ and } x.

Derivation hint: substitute $f(a)=g(a)=0$ into [8].

Step 4 — Squeeze the intermediate point. As $x\to a$ , the trapped point $c$ is forced toward $a$ as well. Therefore

10

\quad \lim_{x\to a} \frac{f(x)}{g(x)} = \lim_{c\to a} \frac{f'(c)}{g'(c)} = \lim_{x\to a} \frac{f'(x)}{g'(x)},

Derivation hint: $a < c < x$ (or $x<c<a$ ) forces $c\to a$ by the squeeze principle. provided the final limit exists. This establishes [7]. $\blacksquare$

∎

mathematician · Guillaume de l'Hôpital | 1661–1704

A French marquis and gifted amateur mathematician, l'Hôpital published Analyse des Infiniment Petits (1696), the first textbook on differential calculus. The rule bearing his name appears there, but it was discovered by his tutor Johann Bernoulli, whom l'Hôpital paid a salary in exchange for Bernoulli's mathematical results — an arrangement revealed only after both men had died. The rule is thus a striking case of attribution lagging behind authorship; many modern texts call it the Bernoulli–l'Hôpital rule in fairness.

🧠 Intuition

Think of $\tfrac{0}{0}$ as a race between two functions sprinting toward zero. If the numerator reaches zero "twice as fast" as the denominator, the ratio approaches $2$ ; if it crawls in at "half the speed," the ratio approaches $\tfrac12$ . The value zero alone tells you nothing — what matters is the speed, and speed is exactly what a derivative measures. L'Hôpital's Rule formalizes this: replace each function by its rate of descent (its derivative) and compare those instead. A second image: near $x=a$ , smooth functions look like straight lines (their tangent lines). For $\tfrac{0}{0}$ , both lines pass through height zero, so the ratio of the functions becomes the ratio of the line slopes — and slopes are derivatives.

Figure

A 0/0 limit as a race of two curves toward zero at x = a

```svg

```

ExampleClassic Trigonometric Limit

Given: Evaluate $\displaystyle \lim_{x\to 0} \frac{\sin x}{x}$ .

Step 1 — Check the form. Substituting $x=0$ : numerator $\sin 0 = 0$ , denominator $0$ . Form is $\tfrac{0}{0}$ — indeterminate, so L'Hôpital applies.

Step 2 — Differentiate top and bottom separately.

11

\quad \frac{d}{dx}\sin x = \cos x, \qquad \frac{d}{dx}\, x = 1.

Derivation hint: apply standard derivative rules to numerator and denominator independently — do NOT use the quotient rule.

Step 3 — Take the new limit.

12

\quad \lim_{x\to 0} \frac{\cos x}{1} = \frac{\cos 0}{1} = \frac{1}{1}.

Derivation hint: now direct substitution works since the new ratio is no longer indeterminate.

Answer:

\boxed{\displaystyle \lim_{x\to 0} \frac{\sin x}{x} = 1}

(This famous limit underpins the derivative of $\sin x$ itself, so deriving it via L'Hôpital is technically circular — but it confirms consistency.)

ExampleAn Infinity-over-Infinity Case with Repeated Application

Given: Evaluate $\displaystyle \lim_{x\to \infty} \frac{x^{2}}{e^{x}}$ .

Step 1 — Check the form. As $x\to\infty$ : numerator $\to\infty$ , denominator $\to\infty$ . Form $\tfrac{\infty}{\infty}$ — apply L'Hôpital.

Step 2 — First application.

13

\quad \lim_{x\to\infty}\frac{x^{2}}{e^{x}} = \lim_{x\to\infty}\frac{2x}{e^{x}}.

Derivation hint: differentiate $x^2\to 2x$ and $e^x\to e^x$ .

Step 3 — Still $\tfrac{\infty}{\infty}$ , so apply again.

14

\quad \lim_{x\to\infty}\frac{2x}{e^{x}} = \lim_{x\to\infty}\frac{2}{e^{x}}.

Derivation hint: differentiate $2x\to 2$ and $e^x\to e^x$ ; the new form is $\tfrac{2}{\infty}$ , no longer indeterminate.

Step 4 — Evaluate. As $x\to\infty$ , $e^x\to\infty$ , so the ratio $\to 0$ .

Answer:

\boxed{\displaystyle \lim_{x\to\infty} \frac{x^{2}}{e^{x}} = 0}

This illustrates that exponential growth beats any polynomial — a fact L'Hôpital makes mechanical.

⚠️ Common mistake

L'Hôpital's Rule applies ONLY to indeterminate forms $\tfrac{0}{0}$ or $\tfrac{\infty}{\infty}$ . Applying it to a determinate quotient gives wrong answers. For example, $\lim_{x\to 0}\frac{x+1}{x+2} = \frac12$ by direct substitution. Blindly differentiating gives $\frac{1}{1}=1$ — wrong, because the form $\tfrac{1}{2}$ was never indeterminate. Always check the form first. A second error: do not apply the quotient rule. You differentiate the numerator and denominator separately, then form a new fraction — these are entirely different operations.

CounterexampleWhen L'Hôpital Fails or Loops Forever

Consider $\displaystyle \lim_{x\to\infty}\frac{x}{\sqrt{x^{2}+1}}$ . The form is $\tfrac{\infty}{\infty}$ , so we try L'Hôpital:

15

\quad \lim_{x\to\infty}\frac{1}{\;x/\sqrt{x^{2}+1}\;} = \lim_{x\to\infty}\frac{\sqrt{x^{2}+1}}{x}.

Derivation hint: differentiate top to $1$ and bottom to $x/\sqrt{x^2+1}$ , then simplify the complex fraction. The new limit is the reciprocal of the original — applying the rule again just flips it back, looping forever. The correct method is algebraic: divide by $x$ to get $\lim \frac{1}{\sqrt{1+1/x^2}} = 1$ . L'Hôpital's Rule is not always the right tool, even when its hypotheses hold.

connection

Limits are the bedrock of The Derivative, itself defined as the limit of a difference quotient $\lim_{h\to 0}\frac{f(x+h)-f(x)}{h}$ — which is always a $\tfrac00$ form. They equally define The Definite Integral through Riemann sums, and Continuity of Functions, since $f$ is continuous at $a$ exactly when $\lim_{x\to a}f(x)=f(a)$ . L'Hôpital's Rule connects to Taylor Series, which give an alternative, often more illuminating route to indeterminate limits by expanding functions as polynomials. The Squeeze Theorem is a complementary tool for limits where derivatives are unavailable.

🔬 Where this appears

⏳ History

- c. 1660s — Newton and Leibniz independently develop calculus using vague "infinitely small" quantities, implicitly using limits.

- 1684 — Leibniz publishes the first account of differential calculus, introducing

dx

notation.

- 1691–1692 — Johann Bernoulli tutors the Marquis de l'Hôpital in the new calculus, discovering the rule in his lectures.

- 1696 — l'Hôpital publishes Analyse des Infiniment Petits, the first calculus textbook, containing "his" rule.

- 1704 — l'Hôpital dies; Bernoulli begins publicly claiming priority for many results.

- 1740s — Euler systematizes limits and indeterminate forms in his influential analysis texts.

- 1821 — Augustin-Louis Cauchy, in Cours d'Analyse, gives the first rigorous, arithmetic definition of a limit, replacing intuitive "infinitesimals."

- 1860s — Karl Weierstrass completes the rigorous ε–δ definition, putting limits on fully solid logical ground.

- 1922 — Discovery and publication of Bernoulli–l'Hôpital correspondence confirms Bernoulli as the true author.

open-problem

The intuitive "arbitrarily close" definition, while sufficient for computation, conceals deep subtleties that motivated centuries of foundational work. Pathological functions — such as $f(x)=\sin(1/x)$ , which oscillates infinitely fast near $0$ — have no limit despite being defined everywhere except one point, showing that "approaching" can fail in surprising ways. The full rigorous treatment requires the ε–δ definition, and even then, generalizing limits to higher dimensions, to topological spaces, and to nets and filters occupies modern analysis. Whether L'Hôpital's Rule can be extended cleanly to all multivariable indeterminate forms remains genuinely delicate: in two or more variables, the limit can depend on the path of approach, and no single mechanical rule replaces it.

Limits — Intuitive Approach and L'Hopital's Rule

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also