Login

Concepts

Read through concept notes with worked explanations and diagrams, chapter by chapter.

Concept 02 / 12Limits, Continuity and Differentiability

Exponential and Logarithmic Limits and the 1-to-the-Infinity Form

The number e as the limit of (1 + 1/n)^n, the standard limits (e^x - 1)/x, (a^x - 1)/x and ln(1 + x)/x, the shortcut e^(lim g(f - 1)) for 1^infinity forms, and handling 0^0 and infinity^0 by taking logarithms.

Figure 1
The number ee is defined by the limit e=lim⁡n→∞(1+1n)n=lim⁡x→0(1+x)1/xe = \lim_{n \to \infty}\left(1 + \frac{1}{n}\right)^{n} = \lim_{x \to 0}(1 + x)^{1/x}. The figure shows the sequence (1+1n)n(1 + \frac{1}{n})^{n} rising towards e≈2.71828e \approx 2.71828. This is the prototype of the indeterminate form 1∞1^{\infty}: the base tends to 11 and the exponent to infinity, and the two effects balance to give a finite number that is neither 11 nor ∞\infty. The compound-interest interpretation makes it concrete: 100%100\% annual interest compounded nn times a year multiplies money by (1+1n)n(1 + \frac{1}{n})^{n}, which approaches ee as compounding becomes continuous. Standard limits, all with x→0x \to 0: lim⁡ex−1x=1\lim\frac{e^{x} - 1}{x} = 1. lim⁡ax−1x=ln⁡a\lim\frac{a^{x} - 1}{x} = \ln a for a>0a > 0 (write ax=exln⁡aa^{x} = e^{x\ln a}). lim⁡ln⁡(1+x)x=1\lim\frac{\ln(1 + x)}{x} = 1 (take the logarithm of (1+x)1/x→e(1 + x)^{1/x} \to e). lim⁡log⁡a(1+x)x=1ln⁡a\lim\frac{\log_{a}(1 + x)}{x} = \frac{1}{\ln a}. lim⁡(1+x)n−1x=n\lim\frac{(1 + x)^{n} - 1}{x} = n for any real nn. As with sin⁡xx\frac{\sin x}{x}, each generalises by replacing xx with any u(x)→0u(x) \to 0: eu−1u→1\frac{e^{u} - 1}{u} \to 1 and ln⁡(1+u)u→1\frac{\ln(1 + u)}{u} \to 1. The 1∞1^{\infty} shortcut. Suppose f(x)→1f(x) \to 1 and g(x)→∞g(x) \to \infty. Write fg=[1+(f−1)]g={[1+(f−1)]1/(f−1)}g(f−1)f^{g} = [1 + (f - 1)]^{g} = \left\{[1 + (f - 1)]^{1/(f - 1)}\right\}^{g(f - 1)}. The inner bracket tends to ee, so lim⁡f(x)g(x)=elim⁡g(x)[f(x)−1]\lim f(x)^{g(x)} = e^{\lim g(x)[f(x) - 1]}. This turns every 1∞1^{\infty} problem into a single ordinary limit of g(f−1)g(f - 1), usually of type ∞×0\infty \times 0 that simplifies easily. For example, lim⁡x→0(cos⁡x)1/x2=elim⁡cos⁡x−1x2=e−1/2\lim_{x \to 0}(\cos x)^{1/x^{2}} = e^{\lim\frac{\cos x - 1}{x^{2}}} = e^{-1/2}. The forms 000^{0} and ∞0\infty^{0}. Take logarithms: if y=fgy = f^{g}, then ln⁡y=gln⁡f\ln y = g\ln f, which is of type 0×∞0 \times \infty. Evaluate lim⁡ln⁡y=L\lim\ln y = L (often by rewriting as a quotient and using L'Hopital's rule or a standard limit), then the answer is eLe^{L}. For example, lim⁡x→0+xx\lim_{x \to 0^{+}}x^{x}: ln⁡y=xln⁡x→0\ln y = x\ln x \to 0 (since ln⁡x\ln x grows more slowly than 1x\frac{1}{x}), so the limit is e0=1e^{0} = 1. And lim⁡x→∞x1/x\lim_{x \to \infty}x^{1/x}: ln⁡y=ln⁡xx→0\ln y = \frac{\ln x}{x} \to 0, so the limit is 11. Growth rates at infinity. As x→∞x \to \infty, exponentials beat powers and powers beat logarithms: for any n>0n > 0 and a>1a > 1, xnax→0\frac{x^{n}}{a^{x}} \to 0 and (ln⁡x)nx→0\frac{(\ln x)^{n}}{x} \to 0. As x→0+x \to 0^{+}, xnln⁡x→0x^{n}\ln x \to 0 for n>0n > 0. These facts decide most ∞∞\frac{\infty}{\infty} and 0⋅∞0 \cdot \infty limits involving mixed function types. Key Takeaways: - e=lim⁡(1+1n)n=lim⁡x→0(1+x)1/xe = \lim(1 + \frac{1}{n})^{n} = \lim_{x \to 0}(1 + x)^{1/x}. - ex−1x→1\frac{e^{x} - 1}{x} \to 1; ax−1x→ln⁡a\frac{a^{x} - 1}{x} \to \ln a; ln⁡(1+x)x→1\frac{\ln(1 + x)}{x} \to 1 as x→0x \to 0. - 1∞1^{\infty}: lim⁡fg=elim⁡g(f−1)\lim f^{g} = e^{\lim g(f - 1)}. - 000^{0}, ∞0\infty^{0}: take logs, find the limit LL of gln⁡fg\ln f, answer eLe^{L}. - Growth: ln⁡x≪xn≪ax\ln x \ll x^{n} \ll a^{x} as x→∞x \to \infty. - lim⁡x→0+xx=1\lim_{x \to 0^{+}}x^{x} = 1. - Pitfall: declaring 1∞=11^{\infty} = 1. The form is indeterminate. Brain-Teaser 1: Evaluate lim⁡x→∞(x+3x−1)x\lim_{x \to \infty}\left(\frac{x + 3}{x - 1}\right)^{x}. Solution: The base tends to 11 and the exponent to ∞\infty. Using the shortcut: g(f−1)=x(x+3x−1−1)=x⋅4x−1→4g(f - 1) = x\left(\frac{x + 3}{x - 1} - 1\right) = x \cdot \frac{4}{x - 1} \to 4. So the limit is e4e^{4}. The shortcut reduces a hard-looking power to a one-line rational limit. Brain-Teaser 2: Find lim⁡x→0etan⁡x−extan⁡x−x\lim_{x \to 0}\frac{e^{\tan x} - e^{x}}{\tan x - x}. Solution: Factor out exe^{x}: ex(etan⁡x−x−1)tan⁡x−x\frac{e^{x}(e^{\tan x - x} - 1)}{\tan x - x}. Let u=tan⁡x−x→0u = \tan x - x \to 0. Then eu−1u→1\frac{e^{u} - 1}{u} \to 1 and ex→1e^{x} \to 1, so the limit is 11. No expansion of tan⁡x\tan x is needed, because the difference tan⁡x−x\tan x - x appears in both places. Spotting a hidden standard form with a composite argument is the key skill. Brain-Teaser 3: Evaluate lim⁡x→0(1x+2x+3x3)1/x\lim_{x \to 0}\left(\frac{1^{x} + 2^{x} + 3^{x}}{3}\right)^{1/x}. Solution: At x=0x = 0 the base is 11, so this is 1∞1^{\infty}. The exponent of ee is lim⁡1x(1x+2x+3x3−1)=lim⁡13(1x−1x+2x−1x+3x−1x)=13(ln⁡1+ln⁡2+ln⁡3)=ln⁡63\lim\frac{1}{x}\left(\frac{1^{x} + 2^{x} + 3^{x}}{3} - 1\right) = \lim\frac{1}{3}\left(\frac{1^{x} - 1}{x} + \frac{2^{x} - 1}{x} + \frac{3^{x} - 1}{x}\right) = \frac{1}{3}(\ln 1 + \ln 2 + \ln 3) = \frac{\ln 6}{3}. So the limit is eln⁡6/3=61/3e^{\ln 6/3} = 6^{1/3}, the geometric mean of 1,2,31, 2, 3. In general, this limit gives the geometric mean of the bases, a pleasing link between limits and means.