Skip to content

Limit Laws for Sequences

Theorem

Let (an)n=1∞(a_n)_{n=1}^\infty and (bn)n=1∞(b_n)_{n=1}^\infty be convergent sequences of real numbers, and let x,x\text{,} yy be the real numbers given by x=lim⁡n→∞an\displaystyle x=\lim_{n\to\infty}a_n and y=lim⁡n→∞bn.\displaystyle y=\lim_{n\to\infty}b_n\text{.} Then we have the following laws. In the quotient law, assume y≠0y\neq0 and that bn≠0b_n\neq0 for all sufficiently large n.n\text{.}

lim⁡n→∞(an±bn)=lim⁡n→∞an±lim⁡n→∞bn=x±y,lim⁡n→∞(anbn)=lim⁡n→∞an⋅lim⁡n→∞bn=xy,lim⁡n→∞anbn=lim⁡n→∞anlim⁡n→∞bn=xy(if bn and y are nonzero),lim⁡n→∞max⁡{an,bn}=max⁡{lim⁡n→∞an,lim⁡n→∞bn}=max⁡{x,y},lim⁡n→∞min⁡{an,bn}=min⁡{lim⁡n→∞an,lim⁡n→∞bn}=min⁡{x,y}.\begin{aligned} &\lim_{n\to\infty}(a_n\pm b_n)=\lim_{n\to\infty}a_n\pm \lim_{n\to\infty}b_n =x\pm y,\\ &\lim_{n\to\infty}(a_n b_n)=\lim_{n\to\infty}a_n\cdot \lim_{n\to\infty}b_n =xy,\\ &\lim_{n\to\infty}\frac{a_n}{b_n}=\frac{\lim\limits_{n\to\infty}a_n}{\lim\limits_{n\to\infty}b_n}=\frac{x}{y}\qquad (\text{if }b_n\text{ and }y\text{ are nonzero}),\\ &\lim_{n\to\infty}\max\{a_n,b_n\} =\max\left\{\lim_{n\to\infty}a_n,\lim_{n\to\infty}b_n\right\} =\max\{x,y\},\\ &\lim_{n\to\infty}\min\{a_n,b_n\} =\min\left\{\lim_{n\to\infty}a_n,\lim_{n\to\infty}b_n\right\} =\min\{x,y\}. \end{aligned}

Interpretation

Limit laws for sequences describe how convergence behaves under algebraic operations: the limit of a sum, product or quotient of convergent sequences is the sum, product or quotient of their limits. They allow limits of complicated sequences to be inferred from simpler ones without returning to the ε\varepsilon-NN definition each time.

A typical use is a quotient of polynomials in nn, such as

an=3n2+1n2+2n.a_n=\frac{3n^2+1}{n^2+2n}.

Numerator and denominator both grow without bound, so the quotient law cannot be applied directly. After dividing both by n2n^2, an=(3+1/n2)/(1+2/n)a_n=(3+1/n^2)/(1+2/n), and now every part converges: 3+1/n2→33+1/n^2\to3 and 1+2/n→1≠01+2/n\to1\ne0, so an→3a_n\to3.

The hypotheses matter. Every law needs both sequences to converge. If ana_n and bnb_n both grow without bound, an−bna_n-b_n can do anything: (n+1)−n=1(n+1)-n=1 for every nn, while n2−nn^2-n grows without bound. The quotient law also needs y≠0y\ne0: with an=1a_n=1 and bn=1/nb_n=1/n the quotient an/bn=na_n/b_n=n diverges, while with an=bn=1/na_n=b_n=1/n it equals 11.

The laws only work in one direction. Convergence of an+bna_n+b_n does not imply convergence of ana_n and bnb_n: (−1)n+(−1)n+1=0(-1)^n+(-1)^{n+1}=0 for every nn. When one factor diverges, the product law gives no information, yet the limit may exist: (−1)n⋅1n→0(-1)^n\cdot\tfrac{1}{n}\to0 by the squeeze theorem. The laws for max⁡\max and min⁡\min follow from the others through max⁡{a,b}=12(a+b+∣a−b∣)\max\{a,b\}=\tfrac{1}{2}(a+b+|a-b|) and min⁡{a,b}=12(a+b−∣a−b∣)\min\{a,b\}=\tfrac{1}{2}(a+b-|a-b|), since ∣an−bn∣→∣x−y∣|a_n-b_n|\to|x-y| by the reverse triangle inequality.


Key Results

  • Limit laws apply only to convergent sequences.
  • Algebraic combinations preserve convergence.
  • Division requires nonzero limiting denominators.

Examples

  • If an→2a_n\to 2 and bn→3,b_n\to 3\text{,} then an+bn→5.a_n+b_n\to 5\text{.}
  • If an→1,a_n\to 1\text{,} then 2an→2.2a_n\to 2\text{.}

Prerequisites

Sources

Symbols: epsilon, infinity

Last updated: 22 October 2026 19:04