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 $\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.

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.

Limit (Intuitive): We say

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

if we can make

f (x)

arbitrarily close to

L

by taking

x

sufficiently close to (but not equal to)

a

. L'Hôpital's Rule: If

lim_{x \to a} f (x) = 0

and

lim_{x \to a} g (x) = 0

(or both approach

\pm \infty

), and if

g^{'} (x) \neq = 0

near

a

, then:

x \to a lim \frac{f ( x )}{g ( x )} = x \to a lim \frac{f ^{'} ( x )}{g ^{'} ( x )}

provided the limit on the right exists or is infinite.

Core Theory

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

Theorem [1]: Suppose

f

and

g

are differentiable on an open interval

I

containing

a

, except possibly at

a

itself. If:

$lim_{x \to a} f (x) = 0$ and $lim_{x \to a} g (x) = 0$
$g^{'} (x) \neq = 0$ for all $x \in I$ with $x \neq = a$
$lim_{x \to a} \frac{f ^{'} ( x )}{g ^{'} ( x )} = L$ (where $L$ may be finite or infinite)

Then $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 \to a} ∣ f (x) ∣ = \infty

and

lim_{x \to a} ∣ g (x) ∣ = \infty

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

Step 1: Define extended functions. Since

lim_{x \to a} f (x) = 0

and

lim_{x \to a} g (x) = 0

, we can define

f (a) = 0

and

g (a) = 0

to make

f

and

g

continuous at

a

. Step 2: Apply Cauchy's Mean Value Theorem. For any

x \neq = a

I

, there exists a point

c

between

x

and

a

such that:

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

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

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

Step 3: Take the limit. As

x \to a

, the point

c

(which lies between

x

and

a

) must also satisfy

c \to a

. Therefore:

x \to a lim \frac{f ( x )}{g ( x )} = x \to a lim \frac{f ^{'} ( c )}{g ^{'} ( c )} = c \to a lim \frac{f ^{'} ( c )}{g ^{'} ( c )} = L

This completes the proof. □

Critical Misconception: L'Hôpital's Rule applies to ratios of functions, NOT to individual derivatives. The rule states

lim \frac{f}{g} = lim \frac{f ^{'}}{g ^{'}}

, which is NOT the same as

\frac{d}{d x} (\frac{f}{g})

. 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. 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.

Examples and Applications

1

Evaluate:

lim_{x \to 0} \frac{s i n x}{x}

Solution: Step 1: Check if direct substitution works.

\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 x

g (x) = x ⟹ g^{'} (x) = 1

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

x \to 0 lim \frac{sin x}{x} = x \to 0 lim \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$ .

2

Evaluate:

lim_{x \to \infty} \frac{e ^{x}}{x ^{2}}

Solution: Step 1: Check the form. As

x \to \infty

e^{x} \to \infty

and

x^{2} \to \infty

, so we have the indeterminate form

\frac{\infty}{\infty}

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

x \to \infty lim \frac{e ^{x}}{x ^{2}} = x \to \infty lim \frac{e ^{x}}{2 x}

Step 3: Check again — still

\frac{\infty}{\infty}

. Apply L'Hôpital's Rule again.

x \to \infty lim \frac{e ^{x}}{2 x} = x \to \infty lim \frac{e ^{x}}{2} = \infty

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

Why we need the indeterminate form: Consider

lim_{x \to 0} \frac{x ^{2} + x}{x}

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

x \to 0 lim \frac{x ^{2} + x}{x} = ? x \to 0 lim \frac{2 x + 1}{1} = 1

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

x \to 0 lim \frac{x ^{2} + x}{x} = x \to 0 lim \frac{x ( x + 1 )}{x} = x \to 0 lim (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 \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.

Physical intuition: Imagine two runners starting at the same position. If both are at distance zero from the finish line at time zero (

0/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

\frac{f ( x )}{g ( x )}

gives

\frac{0}{0}

, both functions are passing through zero, and we're comparing "how steeply" they pass through. The ratio

\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

a

, 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

Taylor Series and Asymptotic Analysis: L'Hôpital's Rule is deeply connected to Taylor Series. When computing

lim_{x \to a} \frac{f ( x )}{g ( x )}

in the

\frac{0}{0}

case, we can expand both functions as Taylor series:

f (x) = f (a) + f^{'} (a) (x - a) + \frac{f ^{''} ( a )}{2} (x - a)^{2} + \dots

. If

f (a) = g (a) = 0

, the limit becomes

\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.

Limits — Intuitive Approach and L'Hopital's Rule