5.3. Monotone Sequences, Bounded Sequences
This section deals with two properties that apply to sequences.
First we study sequences that represent a certain 'running direction' which means that e.g. the sequence members are steadily increasing in value.
Second we study sequences whose 'running range' is bounded to the left and to the right, i.e. sequences in an interval.
Definition: A sequence $({a}_{n})$ is called

increasing, if ${a}_{n}\le {a}_{n+1}\text{for all}n\in {\mathbb{N}}^{\ast}$

[5.3.1] 

decreasing, if ${a}_{n}\ge {a}_{n+1}\text{for all}n\in {\mathbb{N}}^{\ast}$

[5.3.2] 
In either case we call $({a}_{n})$ a monotone sequence. If we replace in [5.3.1] $\le $ by $<$, $({a}_{n})$ is called strictly increasing. In an analogue way the terms strictly decreasing and strictly monotone are set.

Consider:
$({a}_{n})$ is not increasing, iff there is an $n\in {\mathbb{N}}^{\ast}$
such that ${a}_{n}>{a}_{n+1}\text{.}$
$({a}_{n})$ is not decreasing, iff there is an $n\in {\mathbb{N}}^{\ast}$
such that ${a}_{n}<{a}_{n+1}\text{.}$
Example:

$(3n+1)$
is increasing, because for all $n\in {\mathbb{N}}^{\ast}$
the following equivalence is valid and the final assertion is true:
$\begin{array}{ll}\hfill & 3n+1\le 3(n+1)+1\hfill \\ \iff \hfill & 3n+1\le 3n+4\hfill \\ \iff \hfill & 1\le 4\hfill \end{array}$

$(\frac{1}{n})$ is decreasing. Again we equivalently reduce the assertion to a true one:
$\begin{array}{ll}\hfill & \frac{1}{n}\ge \frac{1}{n+1}\hfill \\ \iff \hfill & n+1\ge n\hfill \\ \iff \hfill & 1\ge 0\hfill \end{array}$

$({(1)}^{n})$
is neither decreasing nor increasing, as:
$\begin{array}{l}{(1)}^{1}=1<1={(1)}^{2}\hfill \\ {(1)}^{2}=1>1={(1)}^{3}\hfill \end{array}$

Each constant sequence $(c)$
is decreasing and increasing as well, because both of the inequalities hold:
$c\ge c\text{and}c\le c\text{.}$

The subsequent proposition gathers some properties of monotony. For simplicity we only note them for increasing sequences, but of cause the corresponding
results for decreasing ones are also valid.
Proposition:

$({a}_{n})$ is increasing$\iff {a}_{n+1}{a}_{n}\ge 0$ for all n.

[5.3.3] 

$({a}_{n})$ is increasing$\Rightarrow {a}_{1}\le {a}_{n}$ for all n.

[5.3.4] 

$({a}_{n})$ is increasing$\Rightarrow ({a}_{n+k})$ is increasing for all k.

[5.3.5] 

$({a}_{n})$ is increasing$\iff ({a}_{n})$ is decreasing.

[5.3.6] 
Proof: For 1. and 4. we only have to rearrange the condition ${a}_{n}\le {a}_{n+1}\text{.}$
3. is trivial.
2. ►

We prove by induction:

${1\in A}:{a}_{1}\le {a}_{1}\text{.}$

${n\in A\Rightarrow n+1\in A}:$Let ${a}_{1}\le {a}_{n}\text{.}$ By monotony we have ${a}_{n}\le {a}_{n+1}\text{,}$ but then ${a}_{1}\le {a}_{n+1}$ is also true.


The last example showed that constant sequences are monotone in both directions. By this property they are uniquely determined.
Proposition:
$({a}_{n})$ is decreasing and increasing$\iff ({a}_{n})$
is constant.

[5.3.7] 
Proof:
"$\Rightarrow $": From [5.3.4] we have ${a}_{n}\le {a}_{1}\le {a}_{n}\text{.}$ Thus ${a}_{n}={a}_{1}$ for all n, which means that $({a}_{n})$ is constant.
"$\Leftarrow $": This is exactly the last example.

The cooperation between monotony and calculating with sequences is only poor. Take e.g. the increasing sequences $({n}^{2})$ and $(4n4)$. Their difference is no longer monotone in which direction ever.
$({n}^{2})(4n4)=(\mathrm{1,0,1,}\dots )$
Addition and, under certain circumstances, multiplication are a bit better in that way. Again we confine ourselves on increasing sequences.
Proposition: If $({a}_{n})$ and $({b}_{n})$ are increasing sequences then

$({a}_{n})+({b}_{n})$ is increasing

[5.3.8] 

$({a}_{n})\cdot ({b}_{n})$ is increasing provided ${a}_{n},{b}_{n}\ge 0$

[5.3.9] 
Proof:
1. ►

According to our premise two inequalities hold for every n:
$\begin{array}{l}{a}_{n}\le {a}_{n+1}\hfill \\ {b}_{n}\le {b}_{n+1}\hfill \end{array}$
Adding them on the left and on the right results in our assertion: ${a}_{n}+{b}_{n}\le {a}_{n+1}+{b}_{n+1}\text{.}$

2. ►

We can proceed as before, as inequalities in ${\mathbb{R}}^{\ge 0}$
could be multiplied the same way.


The compatiblity of monotony with calculating is thus not very particular. We get remarkably better results with the next property, the boundedness.
Definition: A sequence $({a}_{n})$ is called bounded, if there are two numbers ("bounds") $u,v\in \mathbb{R}$
such that
$u\le {a}_{n}\le v\text{for all}n\in {\mathbb{N}}^{\ast}$

[5.3.10] 
$({a}_{n})$ is called boundless, if there are no bounds for $({a}_{n})$ in at least one direction.

Consider:
$({a}_{n})$ is bounded if and only if there is an interval $[u,v]$ such that $({a}_{n})$ is a sequence in $[u,v]$.
$({a}_{n})$ is boundless if and only if at least one sequence member is missing in each interval.
When testing sequences for boundedness we often use a another version of [5.3.10] using the absolute value.
The advantage is that we need only one bound instead of two.
Proposition:
$({a}_{n})$ is bounded$\iff $there is an $s\in {\mathbb{R}}^{\ge 0}$ such that ${a}_{n}\le s\text{for all}n\in {\mathbb{N}}^{\ast}$

[5.3.11] 
Proof:
"$\Rightarrow $": We just extend the equation $u\le {a}_{n}\le v$ on both ends:
$\mathrm{max}\{u,v\}=\mathrm{min}\{u,v\}\le u\le u\le {a}_{n}\le v\le v\le \mathrm{max}\{u,v\}$.
Setting $s\u2254\mathrm{max}\{u,v\}$, we have $s\le {a}_{n}\le s$ and thus: ${a}_{n}\le s\text{for all}n\in {\mathbb{N}}^{\ast}$.
"$\Leftarrow $": ${a}_{n}\le s$ means: $s\le {a}_{n}\le s$.

With the following examples we often use a certain technique, called 'estimating', which means that a given term could be increased (or decreased) by some legal methods.
The following tricks are standard for increasing a term:

Increasing an addend within a sum, e.g.:
$n+1\le n+3\le 2n+3$

Subtracting less than before within a difference, e.g.:
$7{n}^{2}\le 7n\le 71$

Increasing a factor within a product of positive factors, e.g.:
$4n\le 10n\le 10(n+3)$

Increasing the numerator or decreasing the denominator within a fraction of positive factors, e.g.:
$\frac{3n+1}{2n+3}\le \frac{3n+1}{2n}\le \frac{3n+n}{2n}$
There is no fault in estimating if it is done properly, even if terms change, as we do not manipulate = but
$\le $ instead!
However the options for transforming inequalities are really abundant compared to those for equalities.
Sometimes this affects the clarity and we cannot always avoid the impression that we choose our manipulations arbitrarily, but always they are designed for a definite target.
Example:

$({(1)}^{n})$ is bounded, because: ${(1)}^{n}=1\le 1$ for all n.

[5.3.12] 

$(\frac{1}{n})$ is bounded, because: $\frac{1}{n}=\frac{1}{n}\le \frac{1}{1}=1$ for all n.

[5.3.13] 

Every constant sequence $(c)$ is bounded, because if we set $s\u2254c$ then $c\le s$ holds for any sequence member.

[5.3.14] 

As already mentioned the hereditary properties of basic arithmetics are more advanced with boundedness than with monotony.
Proposition: If $({a}_{n})$ and $({b}_{n})$ are bounded sequences, so are
Proof: In all cases we use boundedness in absolute value according to [5.3.11].
From the premise we have numbers ${s}_{1},{s}_{2}\in {\mathbb{R}}^{\ge 0}$, such that
$\begin{array}{l}{a}_{n}\le {s}_{1}\text{for all}n\in {\mathbb{N}}^{\ast}\hfill \\ {b}_{n}\le {s}_{2}\text{for all}n\in {\mathbb{N}}^{\ast}\hfill \end{array}$
From that the triangle inequality allows for all $n\in {\mathbb{N}}^{\ast}$ the following estimates:
1. ►

${a}_{n}+{b}_{n}\le {a}_{n}+{b}_{n}\le {s}_{1}+{s}_{2}$

2. ►

${a}_{n}{b}_{n}={a}_{n}+({b}_{n})\le {a}_{n}+{b}_{n}={a}_{n}+{b}_{n}\le {s}_{1}+{s}_{2}$

3. ►

${a}_{n}\cdot {b}_{n}={a}_{n}\cdot {b}_{n}\le {s}_{1}\cdot {s}_{2}$

So in each case all the sequence members are estimated in absolute value by a real number.
This means boundedness due to [5.3.11].

A first result from [5.3.13] and [5.3.14] is:
For each $c\in \mathbb{R}$ the sequence $(\frac{c}{n})=(c)\cdot (\frac{1}{n})$ is bounded.

[5.3.18] 
The next proposition shows that boundedness is transferable to 'smaller' whereas unboundedness is transferable to 'bigger' sequences.
Proposition: Let $({a}_{n})$ and $({b}_{n})$ be sequences such that
${a}_{n}\le {b}_{n}\text{for all}n\in {\mathbb{N}}^{\ast}$,
then the following holds:

$({b}_{n})$ bounded$\Rightarrow ({a}_{n})$ bounded

$({a}_{n})$ unbounded$\Rightarrow ({b}_{n})$ unbounded

[5.3.19] 
Proof:
1. ►

We have a number $s\in {\mathbb{R}}^{\ge 0}$ such that ${a}_{n}\le {b}_{n}\le s\text{for all}n\in {\mathbb{N}}^{\ast}$. But in fact this is already the assertion.

2. ►

A bounded sequence $({b}_{n})$ would yield a bounded sequence $({a}_{n})$ as shown in 1. Contradiction!


As we have got one bounded reference sequence in [5.3.18] we can use 1. to produce more of them.
From the estimate $\frac{c}{{n}^{k}}=\frac{c}{{n}^{k}}\le \frac{c}{n}=\frac{c}{n}$
e.g. we get:
For each $c\in \mathbb{R}\text{and}k\in {\mathbb{N}}^{\ast}$ the sequence $(\frac{c}{{n}^{k}})$ is bounded.

[5.3.20] 
If we are to benefit from 2. in a similar way we need to establish an unbounded reference sequence first.
Proposition:
Proof: We refer to the completeness axiom
Each nonempty bounded subset of $\mathbb{R}$ has a greatest lower bound, its infimum, and a least upper bound, its supremum
and proceed indirectly: If $(n)$ is bounded then ${\mathbb{N}}^{\ast}$ will be a nonempty bounded subset of $\mathbb{R}$. Let $s\u2254\mathrm{sup}{\mathbb{N}}^{\ast}$ be its supremum.
As s is the least upper bound of ${\mathbb{N}}^{\ast}$
the number $s1$
can't be an upper bound. So there has to be an $n\in {\mathbb{N}}^{\ast}$ such that $s1<n$. From that we have for the positive natural number $n+1$
:
$s<n+1$
But that means s is no upper bound for ${\mathbb{N}}^{\ast}$. Contradiction!

Consider:

[5.3.21] states again that the ordering of $\mathbb{R}$ is archimedic. So the proof is just a copy from chapter 3.
Taking $(n)$ as a reference sequence now we get further examples of unbounded sequences.
Example:

$(\frac{3{n}^{2}}{n+1})$ is unbounded,

because: $\frac{3{n}^{2}}{n+1}=\frac{3{n}^{2}}{n+1}\ge \frac{3{n}^{2}}{n+n}=\frac{3}{2}n\ge n=n\text{for all}n\in {\mathbb{N}}^{\ast}$


$(cn)$ is unbounded for each $c\ne 0$:

[5.3.22] 
$(cn)$ is bounded implies $(\frac{1}{c})\cdot (cn)=(n)$ is bounded. Contradiction!


$(c{n}^{k})$ is unbounded for each $c\ne 0\text{and}k\in {\mathbb{N}}^{\ast}$,

[5.3.23] 
because: $c{n}^{k}=c{n}^{k}\ge cn=cn\text{for all}n\in {\mathbb{N}}^{\ast}$


$(\sqrt[m]{{n}^{k}})$ is unbounded for $k,m\in {\mathbb{N}}^{\ast}$:

[5.3.24] 
If $(\sqrt[m]{{n}^{k}})$ is bounded so will be $\underset{m\text{times}}{\underbrace{(\sqrt[m]{{n}^{k}})\cdot \dots \cdot (\sqrt[m]{{n}^{k}})}}=({n}^{k})$
. Contradiction!


We studied two properties in this part, monotony and boundedness. There is however no relationship between them:
We will find bounded and unbounded sequences among the monotone ones, and on the other hand nonmonotone sequences could be bounded and unbounded as well.
