We have already seen the definition of montonic sequences and the fact that in any Archimedean ordered field, every number has a monotonic nondecreasing sequence of rationals converging to it. Monotonic sequences are particularly straightforward to work with and are the key to stating and understanding the completeness axiom for the reals. This page sets out some simple properties of monotonic sequences that will be useful later on. We shall continue to work with the set of real numbers $\mathbb{R}$, but all the results here are valid in any ordered field; they don't even require the Archimedean property.

The theorem of this section is paraphrased by the title above. There are two versions of the result, one for nonincreasing sequences and one for nondecreasing sequences.

Theorem.

Suppose a sequence $\left({a}_{n}\right)$ is monotonic nondecreasing and converges to a limit $l\in \mathbb{R}$. Then ${a}_{n}\u2a7dl$ for all $n\in \mathbb{N}$.

**Proof.**

We suppose otherwise, that $l<{a}_{K}$ for some $K\in \mathbb{N}$.

**Subproof.**

Let $\epsilon ={a}_{K}-l>0$ and let $N\in \mathbb{N}$ such that

Let $k=max(N,K)$ so $k\u2a7eN,K$. Then $\left|{a}_{k}-l\right|<\epsilon ={a}_{K}-l$. It follows that $l-\epsilon <{a}_{k}<l+\epsilon ={a}_{K}$. But this is impossible as $k\u2a7eK$ so ${a}_{k}\u2a7e{a}_{K}$ since $\left({A}_{n}\right)$ is nondecreasing.

A similar result for nonincreasing sequences is proved in exactly the same way.

Theorem.

Suppose a sequence $\left({a}_{n}\right)$ is monotonic nonincreasing and converges to a limit $l\in \mathbb{R}$. Then ${a}_{n}\u2a7el$ for all $n\in \mathbb{N}$.

**Proof.**

Exercise.

We now look at when two monotonic sequences converge to the same limit. The next theorem provides information on this.

Theorem.

Suppose sequences $\left({a}_{n}\right)$ and $\left({b}_{n}\right)$ are convergent monotonic nondecreasing sequences, and suppose the following holds

$$\forall n\in \mathbb{N}\exists k\in \mathbb{N}{a}_{n}\u2a7d{b}_{k}$$i.e., each value of $\left({a}_{n}\right)$ is bounded above by some value of $\left({b}_{n}\right)$. Then $lim{a}_{n}\u2a7dlim{b}_{n}$.

**Proof.**

Let $l=lim{a}_{n}$ and $m=lim{b}_{n}$ and suppose (to get a contradiction) that $l>m$.

Let $\epsilon =l-m>0$ and let $N\in \mathbb{N}$ such that

Then $l+\epsilon >{a}_{n}>l-\epsilon =m$.

This is impossible as, by assumption, there is ${b}_{k}$ with ${a}_{N}\u2a7d{b}_{k}$. This means that $m<{a}_{N}\u2a7d{b}_{k}$ which contradicts the theorem above saying that the terms of the nondecreasing sequence $\left({b}_{k}\right)$ are bounded above by its limit $m$ .

Suppose sequences $\left({a}_{n}\right)$ and $\left({b}_{n}\right)$ are convergent monotonic nondecreasing sequences, and suppose that both

$$\forall n\in \mathbb{N}\exists k\in \mathbb{N}{a}_{n}\u2a7d{b}_{k}$$and

$$\forall k\in \mathbb{N}\exists n\in \mathbb{N}{a}_{n}\u2a7e{b}_{k}$$Then $lim{a}_{n}=lim{b}_{n}$.

**Proof.**

Both $lim{a}_{n}\u2a7dlim{b}_{n}$ and $lim{a}_{n}\u2a7elim{b}_{n}$ by the previous theorem.

There is a similar result for nonincreasing sequences.

Theorem.

Suppose sequences $\left({a}_{n}\right)$ and $\left({b}_{n}\right)$ are convergent monotonic nonincreasing sequences, and suppose

$$\forall n\in \mathbb{N}\exists k\in \mathbb{N}{a}_{n}\u2a7e{b}_{k}$$Then $lim{a}_{n}\u2a7elim{b}_{n}$. If additionally we have

$$\forall k\in \mathbb{N}\exists n\in \mathbb{N}{a}_{n}\u2a7d{b}_{k}$$then $lim{a}_{n}=lim{b}_{n}$.

**Proof.**

Exercise.

If $\left({a}_{n}\right)$ is a monotonic nondecreasing sequence and is convergent, then this sequence is bounded, since all convergent sequences are bounded. The converse of this statement is in fact true for the reals, but cannot be proved from the axioms of Archimedean ordered fields. This converse is called the Monotone Convergence Theorem and is discussed in a later web-page.

The point of this short section is that by a theorem above, a monotonic
nondecreasing sequence is bounded above by its limit $l$. Because of this,
it is often quite a lot easier to show that the sequence actually converges
to $l$, as we see now. You may use the following result to prove that
a monotone sequence converges to *some particular limit $l$
*; if you
don't know what the limit should be you need to invoke the Monotone
Convergence Theorem, in which case all it will tell you is there is a limit,
and not what the limit actually is.

Theorem.

Suppose a sequence $\left({a}_{n}\right)$ is monotonic nondecreasing (nonincreasing) and let $l\in \mathbb{R}$ with $\forall n\in \mathbb{N}{a}_{n}\u2a7dl$ if it is nondecreasing ($\forall n\in \mathbb{N}{a}_{n}\u2a7el$ if it is nonincreasing). Suppose also that

$$\forall \epsilon >0\exists N\in \mathbb{N}\left|{a}_{N}-l\right|\epsilon $$Then ${a}_{n}\to l$ as $n\to \infty $.

The point is that the condition $\forall \epsilon >0\exists N\in \mathbb{N}\left|{a}_{N}-l\right|\epsilon $ is not strong enough to imply convergence for ordinary sequences, but for monotonic sequences it is.

**Proof.**

We are given that $\left({a}_{n}\right)$ is monotonic. Suppose it is nondecreasing. (The nonincreasing case is proved in an identical way, you should check this as an exercise.) So

We are also given that

and

The proof follows the usual pattern.

**Subproof.**

Let $\epsilon >0$ be arbitrary.

**Subproof.**

Let $N\in \mathbb{N}$ such that $\left|{a}_{N}-l\right|<\epsilon $.

**Subproof.**

Let $n\u2a7eN$ be arbitrary.

Then $l-\epsilon <{a}_{N}\u2a7d{a}_{n}\u2a7dl$ so $\left|{a}_{n}-l\right|<\epsilon $.

So $\forall n\u2a7eN\left|{a}_{n}-l\right|\epsilon $.

So $\exists N\in \mathbb{N}\forall n\u2a7eN\left|{a}_{n}-l\right|\epsilon $.

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

The results on this web page are not particularly difficult. They are even results that you might have guessed anyway. It does save a small about of time to remember them and use them when you need them, rather than repeat the proofs or the ideas in the proofs, but the choice is yours.