KTU S1

Limit Laws and L'Hopital's Rule

By the end you should be able to: Apply the limit laws to evaluate limits, recognise indeterminate forms, and use L'Hopital's rule correctly including the check that it applies.

Most limits never need the epsilon-delta definition. They fall to a handful of rules plus one theorem.

The limit laws

If lim⁡x→af(x)=L\lim_{x\to a} f(x) = L and lim⁡x→ag(x)=M\lim_{x\to a} g(x) = M, both existing:

LawStatement
Sumlim⁡(f+g)=L+M\lim (f + g) = L + M
Differencelim⁡(f−g)=L−M\lim (f - g) = L - M
Constant multiplelim⁡(cf)=cL\lim (cf) = cL
Productlim⁡(fg)=LM\lim (fg) = LM
Quotientlim⁡(f/g)=L/M\lim (f/g) = L/M, provided M≠0M \neq 0
Powerlim⁡fn=Ln\lim f^n = L^n

For polynomials and rational functions with non-zero denominator, this reduces to substitution: put x=ax = a in and evaluate.

lim⁡x→2(3x2−5x+1)=3(4)−5(2)+1=3\lim_{x\to 2}(3x^2 - 5x + 1) = 3(4) - 5(2) + 1 = 3

Where substitution fails

Substitution breaks when it produces something meaningless:

00,∞∞,0⋅∞,∞−∞,1∞,00,∞0\frac{0}{0}, \quad \frac{\infty}{\infty}, \quad 0 \cdot \infty, \quad \infty - \infty, \quad 1^\infty, \quad 0^0, \quad \infty^0

These are the indeterminate forms. Indeterminate does not mean "no limit" — it means this method cannot tell you. The limit may exist, may be anything at all, and needs a different technique.

Contrast 50\dfrac{5}{0}, which is not indeterminate: it tells you the function grows without bound.

Technique 1: factor and cancel

lim⁡x→1x2−1x−1\lim_{x\to 1}\frac{x^2-1}{x-1}

Substitution gives 0/00/0. But for x≠1x \neq 1:

x2−1x−1=(x−1)(x+1)x−1=x+1\frac{x^2-1}{x-1} = \frac{(x-1)(x+1)}{x-1} = x+1

The cancellation is legal precisely because the limit never evaluates at x=1x = 1 — the same exclusion from the definition, doing useful work.

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

Technique 2: L'Hopital's rule

If lim⁡x→af(x)=lim⁡x→ag(x)=0\lim_{x\to a} f(x) = \lim_{x\to a} g(x) = 0, or both are ±∞\pm\infty, and 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 right-hand limit exists.

Differentiate the numerator and denominator separately. It is not the quotient rule and looks nothing like it.

Three standard limits worth memorising

lim⁡x→0sin⁡xx=1lim⁡x→0ex−1x=1lim⁡x→01−cos⁡xx2=12\lim_{x\to 0}\frac{\sin x}{x} = 1 \qquad \lim_{x\to 0}\frac{e^x - 1}{x} = 1 \qquad \lim_{x\to 0}\frac{1-\cos x}{x^2} = \frac{1}{2}

Check the third with L'Hopital, applied twice:

lim⁡x→01−cos⁡xx2  =0/0  lim⁡x→0sin⁡x2x  =0/0  lim⁡x→0cos⁡x2=12\lim_{x\to 0}\frac{1-\cos x}{x^2} \;\overset{0/0}{=}\; \lim_{x\to 0}\frac{\sin x}{2x} \;\overset{0/0}{=}\; \lim_{x\to 0}\frac{\cos x}{2} = \frac{1}{2}

Each application needs its own 0/00/0 check. The second step is legal only because sin⁡x→0\sin x \to 0 and 2x→02x \to 0.

The mistake examiners look for

Applying L'Hopital when the form is not indeterminate.

lim⁡x→0x+2x+1=21=2by substitution\lim_{x\to 0}\frac{x+2}{x+1} = \frac{2}{1} = 2 \quad \text{by substitution}

Misapplying L'Hopital gives lim⁡11=1\lim \frac{1}{1} = 1 — wrong. The rule is not a general shortcut for quotients; it is a theorem with a hypothesis. Check the form first, every time.