Finding Limits From Leading Series Terms

Why Leading Terms Determine Many Limits

Near a point, a function represented by a power series is described by a sequence of terms of increasing powers. When the first nonzero term is known, it often determines the function’s behavior closest to that point. For limits, this can turn a complicated expression into a comparison of powers and coefficients.

For example, the logarithm series near zero begins with $x$, while a rational function such as $1/(1-x)$ begins with $1$. These simple leading terms can determine the limits of sums, products, and quotients built from the functions. The method is especially useful when direct substitution gives an indeterminate form, but it depends on using a valid series and keeping track of which terms are nonzero.

Leading Terms at an Expansion Center

Let $f$ have a convergent power series near $x=a$, written in powers of $h=x-a$. If the first nonzero coefficient is $c_m$, then the series has the form $c_mh^m+c_{m+1}h^{m+1}+\cdots$, where $c_m\ne 0$. Factoring out $h^m$ shows why the first term controls the nearby behavior.

Definition: If $f(a+h)=c_mh^m+c_{m+1}h^{m+1}+\cdots$ in a convergent power series near $h=0$, with $c_m\ne0$, then $c_mh^m$ is the leading term of $f$ at $a$. The integer $m$ is its order of vanishing at $a$, and $c_m$ is its leading coefficient.

Equivalently, the series can be factored as $f(a+h)=h^m(c_m+hq(h))$, where $q$ is bounded near zero. Thus the factor in parentheses tends to $c_m$ as $h\to0$, and $f(a+h)$ behaves like $c_mh^m$. In this tutorial, saying two expressions have the same leading behavior means that their quotient tends to $1$, where that quotient is defined.

The order records how quickly the function approaches zero: a term proportional to $h^3$ approaches zero faster than one proportional to $h$. A nonzero constant term has order zero. The coefficient also matters: two terms with the same power can have different limits after division.

Rules for Sums, Products, and Quotients

Suppose $f$ and $g$ have leading terms $c h^m$ and $d h^n$, respectively, with $c,d\ne0$. Their sum is governed by the term of lower order if $m\ne n$. If the orders are equal, the coefficients add; the conclusion below applies when their sum is nonzero. If the coefficients do add to zero, these leading terms do not determine the sum’s behavior.

Rule: If the leading terms of $f$ and $g$ do not cancel, then the leading term of $f+g$ is the lower-order term when $m\ne n$, and is $(c+d)h^m$ when $m=n$ and $c+d\ne0$. The leading term of $fg$ is $cdh^{m+n}$.

For a quotient, the denominator must be nonzero throughout some punctured neighborhood of the expansion center. If $g$ has leading term $d h^n$, its factorization gives $g(a+h)=h^n(d+h r(h))$; the second factor is nonzero for sufficiently small $h$, since it tends to $d\ne0$. When $f$ has leading term $c h^m$, the quotient therefore has leading behavior $(c/d)h^{m-n}$.

Quotient rule: If $f$ and $g$ have leading terms $c h^m$ and $d h^n$, with $d\ne0$, then near $h=0$, where $g\ne0$, $$ \frac{f(a+h)}{g(a+h)} = h^{m-n}\left(\frac{c}{d}+\text{a quantity tending to }0\right). $$ Consequently, the quotient tends to $0$ if $m>n$, and to $c/d$ if $m=n$. If $m<n$, its magnitude grows without bound; the sign on each side depends on the parity of $m-n$ and the sign of $c/d$.

Why the Quotient Rule Works

The rule follows by factoring the powers that measure the orders of vanishing. This also explains exactly which hypotheses are needed: both functions must have convergent local series with the stated first nonzero terms, and the denominator’s leading coefficient must be nonzero.

Factor each series.
Write $f(a+h)=h^m(c+h u(h))$ and $g(a+h)=h^n(d+h v(h))$, where $u$ and $v$ are bounded near zero.

Form the quotient.
For nonzero sufficiently small $h$, the denominator’s parenthetical factor is nonzero because $d+h v(h)\to d\ne0$. Thus the quotient equals $h^{m-n}(c+h u(h))/(d+h v(h))$.

Take the limit of the coefficient factor.
Since $h u(h)\to0$ and $h v(h)\to0$, the quotient of parenthetical factors tends to $c/d$.

Compare the powers.
If $m>n$, then $h^{m-n}\to0$. If $m=n$, that factor is $1$. If $m<n$, its absolute value grows without bound as $h\to0$. These cases give the stated limits and magnitude behavior.

Worked Examples with Logarithm Series

The logarithm expansion $\ln(1+u)=u-u^2/2+u^3/3-\cdots$ is valid for $-1<u\le1$, and in particular for $|u|<1$. Near zero, the leading term is $u$. Before substituting $u$, check that it tends to zero and that the argument of the logarithm is positive.

Worked Example: A Logarithm Divided by Its Leading Power

Evaluate $\displaystyle\lim_{x\to0}\frac{\ln(1+2x)}{x}$.

For $|2x|<1$, apply the logarithm series with $u=2x$:

\ln(1+2x) =2x-\frac{(2x)^2}{2}+\frac{(2x)^3}{3}-\cdots =2x-2x^2+\frac{8}{3}x^3-\cdots.

The leading term is $2x$. For nonzero $x$ sufficiently close to zero, divide the series by $x$:

\frac{\ln(1+2x)}{x} =2-2x+\frac{8}{3}x^2-\cdots \longrightarrow 2.

The limit is $2$. As a check, the quotient differs from $2$ by terms whose leading term is $-2x$, which tends to zero; hence the series quotient does approach the stated value.

Worked Example: A Sum of Logarithms

Evaluate $\displaystyle\lim_{x\to0}\frac{\ln(1+x)+\ln(1+2x)}{x}$.

For $|x|<1$ and $|2x|<1$, expand each logarithm:

\ln(1+x)=x-\frac{x^2}{2}+\frac{x^3}{3}-\cdots, $$ $$ \ln(1+2x)=2x-2x^2+\frac{8}{3}x^3-\cdots.

Add term by term. The terms of order $x$ add to $3x$, so they do not cancel:

\ln(1+x)+\ln(1+2x) =3x-\frac{5}{2}x^2+3x^3-\cdots.

Dividing by $x$ gives $3-\frac52x+3x^2-\cdots$, which tends to $3$. Therefore the limit is $3$. The check is that all the terms after the constant $3$ in the quotient contain a positive power of $x$, so each tends to zero.

Worked Example: A Product with a Vanishing Factor

Evaluate $\displaystyle\lim_{x\to0}\ln(1+x)\frac{1}{1-x}$.

For $|x|<1$, the logarithm and geometric series give

\ln(1+x)=x-\frac{x^2}{2}+\cdots, \qquad \frac{1}{1-x}=1+x+x^2+\cdots.

The first factor has leading term $x$, and the second has leading term $1$. Their product therefore has leading term $x\cdot1=x$, which tends to zero. To verify directly from the representations, the product is $x$ times a factor tending to $1$:

\ln(1+x)\frac{1}{1-x} =x\left(1-\frac{x}{2}+\cdots\right)(1+x+x^2+\cdots) \longrightarrow 0.

The limit is $0$. The logarithm argument $1+x$ is positive near zero, and both series used here converge for $|x|<1$.

Worked Example with a Rational Function

Geometric expansions are useful for rational functions near points where their denominators remain nonzero. For instance, $1/(1-x)=1+x+x^2+\cdots$ when $|x|<1$. The expansion can reveal the order and leading coefficient even when the original expression is a quotient of functions that both tend to zero.

Worked Example: Comparing Orders in a Rational Quotient

Evaluate $\displaystyle\lim_{x\to0}\frac{x^2/(1-x)}{x^2(2+x)/(1-2x)}$.

For $|x|<1$, the numerator has series

\frac{x^2}{1-x} =x^2(1+x+x^2+\cdots) =x^2+x^3+x^4+\cdots.

For $|2x|<1$, the denominator has series

\begin{aligned} \frac{x^2(2+x)}{1-2x} &=x^2(2+x)(1+2x+4x^2+\cdots)\\ &=x^2(2+5x+10x^2+\cdots)\\ &=2x^2+5x^3+10x^4+\cdots. \end{aligned}

The leading terms are $x^2$ and $2x^2$. The orders agree, and the ratio of leading coefficients is $1/2$. Thus the limit is $1/2$. Check by simplifying the original quotient for $x\ne0$ near zero:

\frac{x^2/(1-x)}{x^2(2+x)/(1-2x)} =\frac{1-2x}{(1-x)(2+x)} \longrightarrow \frac{1}{1\cdot2} =\frac12.

The denominator of the original quotient is nonzero for sufficiently small nonzero $x$, as its leading term is $2x^2$. The simplified expression confirms the series-based result.

A Common Mistake: Using a Term That Is Not Leading

The logarithm series has no constant term. A frequent error is to treat $\ln(1+x)$ as though its first term were $1$, perhaps by confusing it with the argument $1+x$. That mistake changes both the order and the limit.

Pitfall: The incorrect calculation $\ln(1+x)=1+x+\cdots$, followed by $\ln(1+x)/x\sim(1+x)/x$, would suggest that the quotient grows without bound. This is wrong: $1+x$ is the argument of the logarithm, not the logarithm’s series. The correct expansion is $\ln(1+x)=x-x^2/2+\cdots$, so $\ln(1+x)/x=1-x/2+\cdots\to1$.

Always write enough of the actual series to identify its first nonzero term. Also check the expansion’s domain: for example, $\ln(1+2x)$ requires $1+2x>0$, and its power series at zero is valid when $|2x|<1$. A limit only needs a sufficiently small neighborhood of the point, but the series must be valid in that neighborhood.

When Leading Terms Are Not Enough

The rules for sums require care when the terms have the same order. For example, if two leading terms are $ch^m$ and $-ch^m$, their sum is zero at that order. The displayed leading terms then do not identify the first nonzero term of the sum. It would be incorrect to conclude that the sum has order $m$ based on those terms alone.

This limitation is important rather than exceptional: the method gives a decisive answer when the relevant leading terms combine without cancellation, and it flags when more information is needed. Do not divide by a series whose leading coefficient is zero, and do not infer a quotient limit from a denominator term that is not its first nonzero term.

Practical takeaway: Find the first nonzero term of every relevant series, check whether terms in a sum cancel, and then compare powers and coefficients. If a leading coefficient vanishes after addition, the leading terms identified so far are insufficient to determine the limit.

Check Your Understanding

For each question, identify the relevant leading terms before deciding what limit or conclusion follows.

What is the leading term of $\ln(1-3x)$ near $x=0$, and what does it imply for $\displaystyle\lim_{x\to0}\ln(1-3x)/x$?
If $f(x)$ and $g(x)$ have leading terms $4x^2$ and $5x^3$, respectively, what is the leading term of $f(x)g(x)$?
Suppose the numerator and denominator of a quotient have leading terms $7h^4$ and $2h^4$. What limit does the quotient rule give as $h\to0$?
Why must the denominator’s leading coefficient be nonzero to apply the quotient rule?
If two summands have leading terms $3h^2$ and $-3h^2$, what can you conclude from those terms alone about the sum?