Limit Sup/Inf Convergence Criterion for Sequences of Real Numbers

Table of Contents

Recall from the The Limit Superior and Limit Inferior of a Sequence of Real Numbers page that if $(a_n)_{n=1}^{\infty}$ is a sequence of real numbers then the limit superior of $(a_n)_{n=1}^{\infty}$ is:

(1)

\begin{align} \quad \limsup_{n \to \infty} a_n = \lim_{n \to \infty} \left ( \sup_{k \geq n} \{ a_k \} \right ) \end{align}

The limit inferior of $(a_n)_{n=1}^{\infty}$ is:

(2)

\begin{align} \quad \liminf_{n \to \infty} a_n = \lim_{n \to \infty} \left ( \inf_{k \geq n} \{ a_k \} \right ) \end{align}

We will look at a very important convergence criterion for sequences of real numbers regarding the limit superior and inferior of the sequence.

Theorem 1: A sequence

(a_n)_{n=1}^{\infty}

converges to a finite

A \in \mathbb{R}

if and only if

\displaystyle{\liminf_{n \to \infty} a_n = A = \limsup_{n \to \infty} a_n}

Proof: $\Rightarrow$ Suppose that $(a_n)_{n=1}^{\infty} = A$ . Then for all $\epsilon > 0$ there exists an $N \in \mathbb{N}$ such that if $n \geq N$ then:

(3)

\begin{align} \quad A - \epsilon < a_n < A + \epsilon \end{align}

So for all $n \geq N$ we have that $\displaystyle{A - \epsilon < \sup_{k \geq n} \{ a_k \} < A + \epsilon}$ , i.e., $\displaystyle{\mid \sup_{k \geq n} \{ a_k \} - A \mid < \epsilon}$ . So $\displaystyle{\limsup_{n \to \infty} a_n = A}$ .

Similarly we have that $\displaystyle{A - \epsilon < \inf_{k \geq n} \{ a_k \} < A + \epsilon}$ , i.e., $\displaystyle{\mid \inf_{k \geq n} \{ a_k \} - A \mid < \epsilon}$ . So $\displaystyle{\liminf_{n \to \infty} a_n = A}$ .

$\Leftarrow$ Suppose that $\displaystyle{\liminf_{n \to \infty} a_n = A = \limsup_{n \to \infty} a_n}$ for a finite $$A$$ . Since $\displaystyle{\liminf_{n \to \infty} a_n = A}$ we have that for a given $\epsilon > 0$ there exists an $N_1 \in \mathbb{N}$ such that if $n \geq N_1$ then:

(4)

\begin{align} \quad A - \epsilon < \inf_{k \geq n} \{a_k \} < A + \epsilon \quad (*) \end{align}

So we have that $A - \epsilon_1$ is an lower bound for $\displaystyle{\{ a_k \}_{k \geq n}}$ .

Similarly, since $\displaystyle{\limsup_{n \to \infty} a_n = A}$ we have that for $\epsilon >0$ there exists an $N_2 \in \mathbb{N}$ such that if $n \geq N_2$ then:

(5)

\begin{align} \quad \quad A - \epsilon < \sup_{k \geq n} \{ a_k \} < A + \epsilon \quad (**) \end{align}

Let $N = \max \{ N_1, N_2 \}$ . So if $n \geq N$ then $$(*)$$ and $$(**)$$ hold, so for all $n \geq N$ :

(6)

\begin{align} \quad A - \epsilon < a_n < A + \epsilon \\ \quad \mid a_n - A \mid < \epsilon \end{align}

Mathonline