Limits — Intuitive Approach and L'Hopital's Rule

  • Limits describe function behavior as input approaches a value, even if undefined there; foundation of calculus
  • Indeterminate forms like 0/0 and ∞/∞ arise when direct substitution fails in limit problems
  • L'Hôpital's Rule resolves indeterminate limits by replacing ratios of functions with ratios of their derivatives
  • Rule applies when both numerator and denominator approach 0 or ±∞ simultaneously
  • Limits enable rigorous definitions of derivatives (instantaneous rates) and integrals (accumulated quantities)

Limits — Intuitive Approach and L'Hopital's Rule

Overview

Imagine you're driving toward a tunnel entrance. As you get closer and closer, you can see more detail about the tunnel's opening. Even if you never quite reach it, you can predict exactly what it will look like when you arrive. This is the essence of a limit — understanding the behavior of a function as its input approaches a particular value, even if the function might not be defined at that exact point. Limits are the foundation of all Calculus. They allow us to make precise what it means for one quantity to "approach" another, which in turn lets us define Derivatives (instantaneous rates of change) and Integrals (accumulated quantities). Without limits, we cannot rigorously discuss what happens at a single instant in time or what it means for a curve to have a tangent line at a point. The challenge arises when direct substitution gives us meaningless expressions like 00\frac{0}{0} or ∞∞\frac{\infty}{\infty} — these are called indeterminate forms. In the late 17th century, mathematicians like Johann Bernoulli and Guillaume de l'Hôpital developed a powerful technique, now known as L'Hôpital's Rule, that uses derivatives to resolve these indeterminate forms. This rule transforms difficult limit problems into easier ones by replacing ratios of functions with ratios of their derivatives.

💡 The Core Insight

A limit describes where a function is heading, not necessarily where it is. When direct substitution fails, L'Hôpital's Rule lets us evaluate limits of ratios by comparing how fast the numerator and denominator are changing — replacing the original ratio with the ratio of their derivatives.

Definition

Limit (Intuitive): We say lim⁡x→af(x)=L\lim_{x \to a} f(x) = L if we can make f(x)f(x) arbitrarily close to LL by taking xx sufficiently close to (but not equal to) aa.

L'Hôpital's Rule: If lim⁡x→af(x)=0\lim_{x \to a} f(x) = 0 and lim⁡x→ag(x)=0\lim_{x \to a} g(x) = 0 (or both approach ±∞\pm\infty), and if g′(x)≠0g'(x) \neq 0 near aa, then:

lim⁡x→af(x)g(x)=lim⁡x→af′(x)g′(x)\lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(x)}{g'(x)}

provided the limit on the right exists or is infinite.

Core Theory

TheoremL'Hôpital's Rule for 0/0 Form

Theorem [1]: Suppose ff and gg are differentiable on an open interval II containing aa, except possibly at aa itself. If: 1. lim⁡x→af(x)=0\lim_{x \to a} f(x) = 0 and lim⁡x→ag(x)=0\lim_{x \to a} g(x) = 0 2. g′(x)≠0g'(x) \neq 0 for all x∈Ix \in I with x≠ax \neq a 3. lim⁡x→af′(x)g′(x)=L\lim_{x \to a} \frac{f'(x)}{g'(x)} = L (where LL may be finite or infinite) Then lim⁡x→af(x)g(x)=L\lim_{x \to a} \frac{f(x)}{g(x)} = L.

Theorem [2] (∞/∞ Form): The same conclusion holds if conditions (1) is replaced by: lim⁡x→a∣f(x)∣=∞\lim_{x \to a} |f(x)| = \infty and lim⁡x→a∣g(x)∣=∞\lim_{x \to a} |g(x)| = \infty.

Proof

We'll prove Theorem [1] for the case where aa is finite and LL is finite. The proof uses the Cauchy Mean Value Theorem.

Step 1: Define extended functions. Since lim⁡x→af(x)=0\lim_{x \to a} f(x) = 0 and lim⁡x→ag(x)=0\lim_{x \to a} g(x) = 0, we can define f(a)=0f(a) = 0 and g(a)=0g(a) = 0 to make ff and gg continuous at aa.

Step 2: Apply Cauchy's Mean Value Theorem. For any x≠ax \neq a in II, there exists a point cc between xx and aa such that:

f(x)−f(a)g(x)−g(a)=f′(c)g′(c)\frac{f(x) - f(a)}{g(x) - g(a)} = \frac{f'(c)}{g'(c)}

Since f(a)=g(a)=0f(a) = g(a) = 0, this simplifies to:

f(x)g(x)=f′(c)g′(c)\frac{f(x)}{g(x)} = \frac{f'(c)}{g'(c)}

Step 3: Take the limit. As x→ax \to a, the point cc (which lies between xx and aa) must also satisfy c→ac \to a. Therefore:

lim⁡x→af(x)g(x)=lim⁡x→af′(c)g′(c)=lim⁡c→af′(c)g′(c)=L\lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(c)}{g'(c)} = \lim_{c \to a} \frac{f'(c)}{g'(c)} = L

This completes the proof. □

∎
⚠️ Common mistake

Critical Misconception: L'Hôpital's Rule applies to ratios of functions, NOT to individual derivatives. The rule states lim⁡fg=lim⁡f′g′\lim \frac{f}{g} = \lim \frac{f'}{g'}, which is NOT the same as ddx(fg)\frac{d}{dx}\left(\frac{f}{g}\right). Do not confuse L'Hôpital's Rule with the Quotient Rule for derivatives! Also, the rule only applies when you have an indeterminate form — always check this first.

mathematician

Guillaume de l'Hôpital (1661-1704) — Published the first calculus textbook Analyse des Infiniment Petits (1696), which contained the rule bearing his name, though it was actually discovered by his teacher Johann Bernoulli.

visualization

a L y = f(x) undefined Function approaches L as x approaches a from both sides

Examples and Applications

Example1

Evaluate: lim⁡x→0sin⁡xx\lim_{x \to 0} \frac{\sin x}{x}

Solution:

Step 1: Check if direct substitution works.

sin⁡(0)0=00\frac{\sin(0)}{0} = \frac{0}{0}

This is indeterminate, so L'Hôpital's Rule applies.

Step 2: Take derivatives of numerator and denominator separately.

f(x)=sin⁡x  ⟹  f′(x)=cos⁡xf(x) = \sin x \implies f'(x) = \cos x
g(x)=x  ⟹  g′(x)=1g(x) = x \implies g'(x) = 1

Step 3: Apply L'Hôpital's Rule.

lim⁡x→0sin⁡xx=lim⁡x→0cos⁡x1=cos⁡01=11=1\lim_{x \to 0} \frac{\sin x}{x} = \lim_{x \to 0} \frac{\cos x}{1} = \frac{\cos 0}{1} = \frac{1}{1} = 1

This is a fundamental limit used throughout calculus, especially in proving the derivative of sin⁡x\sin x.

Example2

Evaluate: lim⁡x→∞exx2\lim_{x \to \infty} \frac{e^x}{x^2}

Solution:

Step 1: Check the form. As x→∞x \to \infty: ex→∞e^x \to \infty and x2→∞x^2 \to \infty, so we have the indeterminate form ∞∞\frac{\infty}{\infty}.

Step 2: Apply L'Hôpital's Rule (first time).

lim⁡x→∞exx2=lim⁡x→∞ex2x\lim_{x \to \infty} \frac{e^x}{x^2} = \lim_{x \to \infty} \frac{e^x}{2x}

Step 3: Check again — still ∞∞\frac{\infty}{\infty}. Apply L'Hôpital's Rule again.

lim⁡x→∞ex2x=lim⁡x→∞ex2=∞\lim_{x \to \infty} \frac{e^x}{2x} = \lim_{x \to \infty} \frac{e^x}{2} = \infty

Therefore, lim⁡x→∞exx2=∞\lim_{x \to \infty} \frac{e^x}{x^2} = \infty. This shows that Exponential Functions grow faster than any polynomial.

Counterexample

Why we need the indeterminate form: Consider lim⁡x→0x2+xx\lim_{x \to 0} \frac{x^2 + x}{x}.

Wrong approach: Blindly apply L'Hôpital's Rule:

lim⁡x→0x2+xxlim⁡x→02x+11=1\lim_{x \to 0} \frac{x^2 + x}{x} \stackrel{?}{=} \lim_{x \to 0} \frac{2x + 1}{1} = 1

Correct approach: This is NOT an indeterminate form! Direct substitution of the simplified form:

lim⁡x→0x2+xx=lim⁡x→0x(x+1)x=lim⁡x→0(x+1)=1\lim_{x \to 0} \frac{x^2 + x}{x} = \lim_{x \to 0} \frac{x(x+1)}{x} = \lim_{x \to 0} (x+1) = 1

The answer happens to be the same, but applying L'Hôpital's Rule was unnecessary and shows a misunderstanding. Always verify you have an indeterminate form before applying the rule. If lim⁡x→af(x)g(x)=20\lim_{x \to a} \frac{f(x)}{g(x)} = \frac{2}{0}, the answer is ±∞\pm\infty (not indeterminate), and L'Hôpital's Rule doesn't apply.

🧠 Intuition

Physical intuition: Imagine two runners starting at the same position. If both are at distance zero from the finish line at time zero (0/00/0 form), L'Hôpital's Rule says: to predict their relative positions, look at their speeds (derivatives) instead. The ratio of how fast they're moving tells you the ratio of their positions as you zoom in close to the starting moment.

Geometric intuition: When f(x)g(x)\frac{f(x)}{g(x)} gives 00\frac{0}{0}, both functions are passing through zero, and we're comparing "how steeply" they pass through. The ratio f′(a)g′(a)\frac{f'(a)}{g'(a)} measures the ratio of their slopes at that point — essentially, we're comparing the tangent lines instead of the functions themselves. This works because very close to aa, the functions look almost like their tangent lines (Linear Approximation).

Historical Development

The history of L'Hôpital's Rule involves one of mathematics' most famous disputes. In 1694, Johann Bernoulli discovered the rule while working on problems in the emerging field of calculus. Guillaume de l'Hôpital, a French nobleman and amateur mathematician, was so impressed by Bernoulli's work that he hired him as a private tutor. The two men signed a contract in which Bernoulli agreed to share his mathematical discoveries with l'Hôpital, who could use them as he wished. When l'Hôpital published Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes in 1696, it became the first calculus textbook and included what we now call L'Hôpital's Rule. While l'Hôpital did credit Bernoulli for some contributions, he did not specifically attribute this rule to him. After l'Hôpital's death in 1704, Johann Bernoulli claimed credit for most of the contents of the book, and mathematical historians later confirmed that Bernoulli had indeed discovered the rule. Despite this, the rule continues to bear l'Hôpital's name due to historical convention and his role in disseminating it. The modern rigorous proof based on the Cauchy Mean Value Theorem was developed in the 19th century as part of the effort to place calculus on firm logical foundations, led by mathematicians like Augustin-Louis Cauchy and Karl Weierstrass.

Connections to Other Areas

connection

<a class="wiki-link" href="/wiki/taylor-series">Taylor Series</a> and Asymptotic Analysis: L'Hôpital's Rule is deeply connected to Taylor Series. When computing lim⁡x→af(x)g(x)\lim_{x \to a} \frac{f(x)}{g(x)} in the 00\frac{0}{0} case, we can expand both functions as Taylor series: f(x)=f(a)+f′(a)(x−a)+f′′(a)2(x−a)2+⋯f(x) = f(a) + f'(a)(x-a) + \frac{f''(a)}{2}(x-a)^2 + \cdots. If f(a)=g(a)=0f(a) = g(a) = 0, the limit becomes f′(a)+O(x−a)g′(a)+O(x−a)→f′(a)g′(a)\frac{f'(a) + O(x-a)}{g'(a) + O(x-a)} \to \frac{f'(a)}{g'(a)}, exactly what L'Hôpital's Rule gives. This connection shows that L'Hôpital's Rule is essentially comparing the first non-vanishing terms in the Taylor expansions — a perspective that's fundamental in Asymptotic Analysis and the study of Differential Equations.

What You Need First

What This Opens Up

See Also

Derivatives · Continuity · Indeterminate Forms · Taylor Series · Cauchy Mean Value Theorem · Improper Integrals