Skip to content

Mathematics · Ch 9 — Differential Calculus – Limits and Continuity

Some important other limits

9.2.10

Some important other limits

Result 9.2. lim⁡x→0ex−1x=1.\displaystyle \lim_{x\to0}\frac{e^x-1}{x}=1.

This result is used here as a known building block (a full elementary justification needs either the series definition of exe^x or tools developed in a later chapter, so, in keeping with the book, it is quoted rather than re-derived from first principles).

Result 9.3. lim⁡x→0ax−1x=log⁡ea,a>0.\displaystyle \lim_{x\to0}\frac{a^x-1}{x}=\log_e a,\quad a>0.

Proof. Since axa^x and log⁡ax\log_a x are inverse functions of each other, axa^x can always be rewritten in terms of the natural exponential as ax=exlog⁡eaa^x=e^{x\log_e a}. Hence

ax−1x=exlog⁡ea−1x=log⁡ea⋅exlog⁡ea−1xlog⁡ea.\frac{a^x-1}{x}=\frac{e^{x\log_e a}-1}{x}=\log_e a\cdot\frac{e^{x\log_e a}-1}{x\log_e a}.

Substitute y=xlog⁡eay=x\log_e a; as x→0x\to0, y→0y\to0 as well, and the second factor becomes exactly ey−1y\dfrac{e^y-1}{y}, whose limit as y→0y\to0 is 11 by Result 9.2. So the whole expression tends to log⁡ea⋅1=log⁡ea\log_e a\cdot1=\log_e a. ■\blacksquare

Result 9.4. lim⁡x→0log⁡(1+x)x=1.\displaystyle \lim_{x\to0}\frac{\log(1+x)}{x}=1.

Proof. Set y=log⁡(1+x)y=\log(1+x), so y→0y\to0 as x→0x\to0, and 1+x=ey1+x=e^y, i.e. x=ey−1x=e^y-1. Substituting,

log⁡(1+x)x=yey−1=1ey−1y,\frac{\log(1+x)}{x}=\frac{y}{e^y-1}=\frac{1}{\dfrac{e^y-1}{y}},

and as y→0y\to0 the denominator tends to 11 by Result 9.2, so the whole fraction tends to 11=1\dfrac11=1. ■\blacksquare

Results 9.5–9.9 (stated without proof, used freely from here on):

9.5: lim⁡x→0sin⁡−1xx=19.6: lim⁡x→0tan⁡−1xx=1\text{9.5: } \lim_{x\to0}\frac{\sin^{-1}x}{x}=1 \qquad \text{9.6: } \lim_{x\to0}\frac{\tan^{-1}x}{x}=1

9.7: lim⁡x→∞(1+1x)x exists, and equals e9.8: lim⁡x→0(1+x)1/x=e9.9: lim⁡x→∞(1+kx)x=ek\text{9.7: } \lim_{x\to\infty}\left(1+\frac1x\right)^{x} \text{ exists, and equals } e \qquad \text{9.8: } \lim_{x\to0}(1+x)^{1/x}=e \qquad \text{9.9: } \lim_{x\to\infty}\left(1+\frac kx\right)^{x}=e^{k}

The number ee that keeps appearing here is a transcendental number — it never satisfies any polynomial equation with rational coefficients, anxn+an−1xn−1+⋯+a1x+a0=0a_nx^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0=0 — which is part of why it cannot be pinned down by ordinary algebra and is instead defined through a limit such as Result 9.7.

Worked techniques (Examples 9.32–9.36).

  • Reciprocal substitution into the ee-form. For a limit such as lim⁡x→0(1+sin⁡x)2csc⁡x\lim_{x\to0}(1+\sin x)^{2\csc x}, substitute y=1/sin⁡xy=1/\sin x (so y→∞y\to\infty as x→0x\to0) to rewrite the whole expression as (1+1y)2y\left(1+\dfrac1y\right)^{2y} — exactly the Result 9.7/9.9 pattern — which evaluates to e2e^2.
  • Splitting a (1+⋅)power(1+\cdot)^{\text{power}} limit at infinity. For lim⁡x→∞(x+2x−2)x\lim_{x\to\infty}\left(\dfrac{x+2}{x-2}\right)^{x}, first rewrite the base as 1+4x−21+\dfrac{4}{x-2}, substitute y=x−24y=\dfrac{x-2}{4} (so y→∞y\to\infty as x→∞x\to\infty, and x=4y+2x=4y+2), and split the resulting exponent into a "4y4y" part — which reduces to the standard e4e^4 form — and a leftover finite-exponent part that itself tends to 11; the two combine to give e4e^4.
  • Reducing a trigonometric-power limit to the Result 9.7 pattern. For lim⁡x→π/4(cos⁡x−sin⁡x)5(1−sin⁡2x)5/2\lim_{x\to\pi/4}\dfrac{(\cos x-\sin x)^5}{(1-\sin2x)^{5/2}}, use the identity (cos⁡x−sin⁡x)2=1−sin⁡2x(\cos x-\sin x)^2=1-\sin2x to rewrite both numerator and denominator purely in terms of (1−sin⁡2x)(1-\sin2x), collapsing the whole quotient to a single power of that quantity; substituting y=1+sin⁡2xy=1+\sin2x (so y→2y\to2 as x→π/4x\to\pi/4) then finishes the limit by direct substitution. …