The Monotone Convergence Theorem
If a sequence is monotone and bounded, then it converges. In other words
  1. If \((x_n)_n\) is an increasing sequence and bounded above, then \(\lim\limits_{n \rightarrow \infty} x_n\) exits and is equal to \(\sup x_n\).
  2. If \((x_n)_n\) is a decreasing sequence and bounded below, then \(\lim\limits_{n \rightarrow \infty} x_n\) exits and is equal to \(\inf x_n\).

Notes

Why do we need this? So far every sequence we saw has a general term. For example the sequence \(x_n = \frac{1}{n}\) or \(x_n = (-1^n)\). But in general, a lot of sequences that we will encounter don’t have a general term. We will see something like \(x_n = x_{n-1} + x_{n-2}\) where the current term depends on previous terms. How do we find the limit of such sequences? We can’t apply the definition of limit directly since it will be useless. Then, what do we do? The monotone convergence theorem is one tool that we can use to study such sequences!

Proof

Let \((x_n)_n\) be a sequence that is increasing and bounded above. We know that \((x_n)\) is bounded so if we consider the set

$$ \begin{align*} S = \{x_n : n \in \mathbb{N}\} \end{align*} $$

Then, we claim that \(\lim\limits_{n \rightarrow \infty} x_n = \sup S\). To show this, let \(\epsilon > 0\) be given. We want to show that there exists some \(N \in \mathbb{N}\) such that when \(n \geq N\), we must have

$$ \begin{align*} \lvert x_n - \sup S \rvert < \epsilon. \end{align*} $$

Since \(\sup S\) is the supremum of \(S\), then there exists some element \(x_N\) such that

$$ \begin{align*} \sup S - \epsilon < x_N \leq \sup S \end{align*} $$

Moreover, since \(\{x_n\}\) is increasing, then if we let \(n \geq N\), we will have an element \(x_n\) such that

$$ \begin{align*} x_N \leq x_n \end{align*} $$

Combining both inequalities, we then get

$$ \begin{align*} \sup S - \epsilon &< x_N \leq x_n \leq \sup S \end{align*} $$

From this we see that whenever \(n \geq N\)

$$ \begin{align*} \sup S - \epsilon &< x_n < \sup S + \epsilon \\ \end{align*} $$

Therefore,

$$ \begin{align*} \lvert x_n - \sup S \rvert < \epsilon \end{align*} $$

and so \(\lim(x_n) = \sup S\) as we wanted to show. \(\ \blacksquare\)

References