# Limit comparison test

Part of a series of articles about :
Calculus :
$\int _{a}^{b}f'(t)\,dt=f(b)-f(a)$ :
Fundamental theorem
Limits
Continuity
Rolle's theorem
Mean value theorem
Inverse function theorem :
Differential
Definitions
Derivative (generalizations)
Differential
infinitesimal
of a function
total
Concepts
Differentiation notation
Second derivative
Implicit differentiation
Logarithmic differentiation
Related rates
Taylor's theorem
Rules and identities
Sum
Product
Chain
Power
Quotient
L'Hôpital's rule
Inverse
General Leibniz
Faà di Bruno's formula
Reynolds :
Integral
Lists of integrals
Integral transform
Leibniz integral rule
Definitions
Antiderivative
Integral (improper)
Riemann integral
Lebesgue integration
Contour integration
Integral of inverse functions
Integration by
Parts
Discs
Cylindrical shells
Substitution (trigonometric, tangent half-angle, Euler)
Euler's formula
Partial fractions (Heaviside's method)
Changing order
Reduction formulae
Differentiating under the integral sign
Risch algorithm :
Series
Geometric (arithmetico-geometric)
Harmonic
Alternating
Power
Binomial
Taylor
Convergence tests
Summand limit (term test)
Ratio
Root
Integral
Direct comparison
Limit comparison
Alternating series
Cauchy condensation
Dirichlet
Abel :
Vector
Gradient
Divergence
Curl
Laplacian
Directional derivative
Identities
Theorems
Gradient
Green's
Stokes'
Divergence
generalized Stokes
Helmholtz decomposition :
Multivariable
Formalisms
Matrix
Tensor
Exterior
Geometric
Definitions
Partial derivative
Multiple integral
Line integral
Surface integral
Volume integral
Jacobian
Hessian :
Advanced
Calculus on Euclidean space
Generalized functions
Limit of distributions :
Specialized
Fractional
Malliavin
Stochastic
Variations :
Miscellanea
Precalculus
History
Glossary
List of topics
Integration Bee
Mathematical analysis
Nonstandard analysis :
vte :
In mathematics, the limit comparison test (LCT) (in contrast with the related direct comparison test) is a method of testing for the convergence of an infinite series.

## Statement

Suppose that we have two series $\Sigma _{n}a_{n}$ and $\Sigma _{n}b_{n}$ with $a_{n}\geq 0,b_{n}>0$ for all $n$. Then if $\lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}=c$ with $0<c<\infty$, then either both series converge or both series diverge.

## Proof

Because $\lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}=c$ we know that for every $\varepsilon >0$ there is a positive integer $n_{0}$ such that for all $n\geq n_{0}$ we have that $\left|{\frac {a_{n}}{b_{n}}}-c\right|<\varepsilon$, or equivalently
    $-\varepsilon <{\frac {a_{n}}{b_{n}}}-c<\varepsilon$
    $c-\varepsilon <{\frac {a_{n}}{b_{n}}}<c+\varepsilon$
    $(c-\varepsilon )b_{n}<a_{n}<(c+\varepsilon )b_{n}$
As $c>0$ we can choose $\varepsilon$ to be sufficiently small such that $c-\varepsilon$ is positive. So $b_{n}<{\frac {1}{c-\varepsilon }}a_{n}$ and by the direct comparison test, if $\sum _{n}a_{n}$ converges then so does $\sum _{n}b_{n}$.
Similarly $a_{n}<(c+\varepsilon )b_{n}$, so if $\sum _{n}b_{n}$ diverges, again by the direct comparison test, so does $\sum _{n}a_{n}$.
That is, both series converge or both series diverge.

## Example

We want to determine if the series $\sum _{n=1}^{\infty }{\frac {1}{n^{2}+2n}}$ converges. For this we compare it with the convergent series $\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {\pi ^{2}}{6}}$
As $\lim _{n\to \infty }{\frac {1}{n^{2}+2n}}{\frac {n^{2}}{1}}=1>0$ we have that the original series also converges.

## One-sided version

One can state a one-sided comparison test by using limit superior. Let $a_{n},b_{n}\geq 0$ for all $n$. Then if $\limsup _{n\to \infty }{\frac {a_{n}}{b_{n}}}=c$ with $0\leq c<\infty$ and $\Sigma _{n}b_{n}$ converges, necessarily $\Sigma _{n}a_{n}$ converges.

## Example

Let $a_{n}={\frac {1-(-1)^{n}}{n^{2}}}$ and $b_{n}={\frac {1}{n^{2}}}$ for all natural numbers $n$. Now $\lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}=\lim _{n\to \infty }(1-(-1)^{n})$ does not exist, so we cannot apply the standard comparison test. However, $\limsup _{n\to \infty }{\frac {a_{n}}{b_{n}}}=\limsup _{n\to \infty }(1-(-1)^{n})=2\in [0,\infty )$ and since $\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}$ converges, the one-sided comparison test implies that $\sum _{n=1}^{\infty }{\frac {1-(-1)^{n}}{n^{2}}}$ converges.

## Converse of the one-sided comparison test

Let $a_{n},b_{n}\geq 0$ for all $n$. If $\Sigma _{n}a_{n}$ diverges and $\Sigma _{n}b_{n}$ converges, then necessarily $\limsup _{n\to \infty }{\frac {a_{n}}{b_{n}}}=\infty$, that is, $\liminf _{n\to \infty }{\frac {b_{n}}{a_{n}}}=0$. The essential content here is that in some sense the numbers $a_{n}$ are larger than the numbers $b_{n}$.

## Example

Let $f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}$ be analytic in the unit disc $D=\{z\in \mathbb {C} :|z|<1\}$ and have image of finite area. By Parseval's formula the area of the image of $f$ is proportional to $\sum _{n=1}^{\infty }n|a_{n}|^{2}$. Moreover, $\sum _{n=1}^{\infty }1/n$ diverges. Therefore, by the converse of the comparison test, we have $\liminf _{n\to \infty }{\frac {n|a_{n}|^{2}}{1/n}}=\liminf _{n\to \infty }(n|a_{n}|)^{2}=0$, that is, $\liminf _{n\to \infty }n|a_{n}|=0$.