This web page gives a very basic (almost obvious) theorem that seems at first to be uninteresting, but is in fact one of the keystones that the theory we will develop relies on. Also, together with later material on subsequences, it is one of the key methods for proving a sequence doesn't converge.

As with all the other key definitions and results you should at a minimum learn the statement of this theorem, and ideally learn the proof too.

The theorem on the uniqueness of limits says that a sequence $\left({a}_{n}\right)$ can have at most one limit. In other words, if ${a}_{n}\to l$ and ${a}_{n}\to m$ then $l=m$.

Theorem on Uniqueness of Limits.

Suppose $\left({a}_{n}\right)$ is a sequence and $l,m\in \mathbb{R}$ are both limits of the sequence $\left({a}_{n}\right)$ as $n\to \infty $. Then $l=m$.

As a consequence, to show that a sequence $\left({a}_{n}\right)$
does not converge to some number $l$ (such as $\frac{1}{2}$
say) it suffices to show that *does* converge to a *different*
number such as $\frac{1}{3}$. This idea is very simple
(almost obvious, in fact, but obvious

is a dangerous
word as occasionally obvious

things turn out to be false).
We will improve upon this idea considerably later on when we
discuss subsequences so I don't provide
any examples here at this stage.

**Proof.**

Remark.

As before, comments written in this font at a smaller size are not part of the proof but comments indicating some feature of the proof or how I was thinking about it. In this proof we'll assume that $\left({a}_{n}\right)$ converges to both $l$ and $m$ and assuming that $l\ne m$ we'll get a contradiction. Note then that we can assume the following statements.

$l\ne m$

$\forall \epsilon >0\exists N\in \mathbb{N}\forall n\in \mathbb{N}(n\u2a7eN\Rightarrow \left|{a}_{n}-l\right|\epsilon )$

$\forall \epsilon >0\exists N\in \mathbb{N}\forall n\in \mathbb{N}(n\u2a7eN\Rightarrow \left|{a}_{n}-m\right|\epsilon )$

Remark.

To make use of these last two statements we need to give them positive values of $\epsilon $. Since $l\ne m$ and we are interested in when the sequence settles down about $l$ or $m$ away from the other, it makes sense to try the value $\epsilon =\frac{1}{2}\left|l-m\right|$. (Other suitable guesses might be $\epsilon =\frac{1}{3}\left|l-m\right|$, or $\epsilon =\frac{1}{4}\left|l-m\right|$, etc. These all work too.)

**Subproof.**

Let $\epsilon =\frac{1}{2}\left|l-m\right|$.

From the convergence of $\left({a}_{n}\right)$ to $l$, let ${N}_{1}\in \mathbb{N}$ satisfy $\forall n\in \mathbb{N}(n\u2a7e{N}_{1}\Rightarrow \left|{a}_{n}-l\right|\epsilon )$.

From the convergence of $\left({a}_{n}\right)$ to $m$, let ${N}_{2}\in \mathbb{N}$ satisfy $\forall n\in \mathbb{N}(n\u2a7e{N}_{2}\Rightarrow \left|{a}_{n}-m\right|\epsilon )$.

Remark.

Note that there is no reason to expect that ${N}_{1}={N}_{2}$. So we should assume that these could be different, by giving them different names. Now, both our statements about ${N}_{1}$ and ${N}_{2}$ start $\forall n\in \mathbb{N}\dots $ and they are interesting when $n\u2a7e{N}_{1}$ and $n\u2a7e{N}_{2}$, respectively. So we take $n$ to be the larger of ${N}_{1},{N}_{2}$.

Let $n=max({N}_{1},{N}_{2})$.

Then $\left|{a}_{n}-l\right|<\epsilon $ and $\left|{a}_{n}-m\right|<\epsilon $.

So $\left|l-m\right|\u2a7d\left|{a}_{n}-l\right|+\left|{a}_{n}-m\right|<2\epsilon $, by the triangle inequality.

But this means that $\left|l-m\right|<2\epsilon =2\frac{1}{2}\left|l-m\right|=\left|l-m\right|$, which is impossible.

This completes the proof.