Weierstrass M-Test

Theorem
Let $f_n$ be a sequence of real functions defined on a domain $D \subseteq \R$.

Let $\ds \sup_{x \mathop \in D} \size {\map {f_n} x} \le M_n$ for each integer $n$ and some constants $M_n$

Let $\ds \sum_{i \mathop = 1}^\infty M_i < \infty$.

Then $\ds \sum_{i \mathop = 1}^\infty f_i$ converges uniformly on $D$.

Proof
Let:
 * $\ds S_n = \sum_{i \mathop = 1}^n f_i$

Let:
 * $\ds f = \lim_{n \mathop \to \infty} S_n$

To show the sequence of partial sums converge uniformly to $f$, we must show that:
 * $\ds \lim_{n \mathop \to \infty} \sup_{x \mathop \in D} \size {f - S_n} = 0$

But:

By the Triangle Inequality, this value is less than or equal to:
 * $\ds \sum_{i \mathop = n + 1}^\infty \sup_{x \mathop \in D} \size {\map {f_i} x} \le \sum_{i \mathop = n + 1}^\infty M_i$

We have that:
 * $\ds 0 \le \sum_{i \mathop = 1}^\infty M_n < \infty$

It follows from Tail of Convergent Series tends to Zero:
 * $\ds 0 \le \lim_{n \mathop \to \infty} \sum_{i \mathop = n + 1}^\infty \sup_{x \mathop \in D} \size {\map {f_i} x} \le \lim_{n \mathop \to \infty} \sum_{i \mathop = n + 1}^\infty M_i = 0$

So:
 * $\ds \lim_{n \mathop \to \infty} \sup_{x \mathop \in D} \size {f - S_n} = 0$

Hence the series converges uniformly on the domain.

Also known as
Some sources do not use the hyphen: Weierstrass $M$ test.