Exercise.

A sequence $\left({a}_{n}\right)$ is given by

(a) Prove that

for all $n$.

(b) Deduce that ${a}_{n}>\sqrt{2}$ for all $n$.

(c) Using induction, show that

for each $n\u2a7e1$.

(d) Using ${a}_{n}^{2}-2=({a}_{n}-\sqrt{2})({a}_{n}+\sqrt{2})$ deduce that ${a}_{n}\to \sqrt{2}$ as $n\to \infty $.

Exercise.

Suppose in each case that $\left({a}_{n}\right)$ is a sequence whose $n$th term is given by the expressions below. Prove that $\left({a}_{n}\right)$ converges and find the limit. If you use the continuity of any standard functions in your answer, state which function(s) you use that you know to be continuous and at what value $l\in \mathbb{R}$ or $(l,m)\in {\mathbb{R}}^{2}$ the continuity of that(those) function(s) is required.

(a) $\frac{{n}^{2}+2n+1}{2{n}^{2}+3}$ ; (b) $\frac{1-2n-3{n}^{2}}{2-3n-4{n}^{2}}$ ; (c) $\frac{(n+1{)}^{2}-(n-1{)}^{2}}{n+1}$; (d) $\frac{3n}{\sqrt{2{n}^{2}+n+1}+\sqrt{3{n}^{2}+1}}$.

Exercise.

Prove that the following sequences $\left({a}_{n}\right)$ do not converge, using the following method.

Suppose first that the sequence in question converges to some $l\in \mathbb{R}$. Then find convergent sequences $\left({b}_{n}\right)$, $\left({c}_{n}\right)$, ..., and continuous functions $f,g,\dots $ such that some expression involving $f,g,\dots ,\left({a}_{n}\right),\left({b}_{n}\right),\left({c}_{n}\right),\dots $ evaluates to a sequence that you in fact know to be non-convergent.

The convergence or nonconvergence of any sequences
you use *must* be justified either by stating that they are "standard"
convergent/nonconvergent sequences discussed in lectures (such as
$\frac{1}{n}$ or $(-1{)}^{n}$) or by giving a proof.

(a) $\left(-1{)}^{n}\right(1-{2}^{-n})+1$.

(b) $\left(-1{)}^{n}\right({2}^{-n})+\frac{{n}^{2}}{1+n}$.

(c) $\frac{1}{2}(cos(n)+(-1{)}^{n}\frac{1}{n})$.

(d) $\frac{sin\left(n\right)+ncos\left(n\right)}{1+n}$.

Exercise.

The sequence $\left({a}_{n}\right)$ is defined inductively by ${a}_{1}={a}_{2}=1$ and ${a}_{n+2}=\frac{{a}_{n}+{a}_{n+1}+1}{4}$. Prove the following by induction on $n$.

(a) ${a}_{n}\u2a7d1$ for all $n$.

(b) ${a}_{n}\u2a7e\frac{1}{2}$ for all $n$.

(c) Prove the following holds for all $n\u2a7e1$: ${a}_{n}\u2a7e{a}_{n+1}\u2a7e\frac{{a}_{n}+1}{3}$.

(d) Say whether $\left({a}_{n}\right)$ has a limit in $\mathbb{R}$ and if it does, find this limit.

Exercise.

The sequence $\left({c}_{n}\right)$ is defined by ${c}_{1}=1$, ${c}_{2}=\frac{1}{2}$, and ${c}_{n+2}=\frac{3{c}_{n+1}+{c}_{n}}{4}$. Prove the following.

(a) $\frac{1}{2}\u2a7d{c}_{n}\u2a7d1$ for all $n$.

(b) ${c}_{n+1}-{c}_{n}=(-1{)}^{n}\frac{2}{{4}^{n}}$ for all $n$.

(c) The subsequences $\left({c}_{2n-1}\right)$ and $\left({c}_{2n}\right)$ are both monotonic. (Hint: use (b) above to find a formula for ${c}_{n+2}-{c}_{n}$.)

(d) Explain why these results imply that $\left({c}_{2n-1}\right)$ and $\left({c}_{2n}\right)$ both converge, and in fact both converge to the same limit $l\in \mathbb{R}$. Which theorem from the course allows you to deduce that $l$ is the limit of the original sequence $\left({c}_{n}\right)$?

(e) Find the limit $l$. Suggestion: Use (b) repeatedly to get an expression for ${c}_{n}$ in terms of $n$. Sum this series then find the limit.

**Solution to 3.2(a).** Write

and observe that $\frac{1}{n}\to 0$ and $\frac{1}{{n}^{2}}\to 0$ as $n\to \infty $ and so by the constant sequences $1,2$ and the continuity of $+,\xb7$, we have $1+\frac{2}{n}+\frac{1}{{n}^{2}}\to 1$ as $n\to \infty $. Also by the constant sequences $2,3$ and the continuity of $+,\xb7$ again, we have $2+\frac{3}{{n}^{2}}\to 2$ as $n\to \infty $. By the continuity of division at $(1,2)$ we have

**Solution to 3.3(a).** Suppose ${a}_{n}=\left(-1{)}^{n}\right(1-{2}^{-n})+1$
defines a sequence converging to $l\in \mathbb{R}$. Consider

Now $1$ is a constant sequence, so converges to $1$. The sequence ${2}^{-n}$ converges to $0$ by a result from lectures. So by the continuity of $-$ at $(0,1)$ $1-{2}^{-n}\to 1-0=1$ as $n\to \infty $, by the continuity of $-$ at $(l,1)$, $({a}_{n}-1)\to l-1$ as $n\to \infty $ and by the continuity of division at $(l-1,1)$, the sequence above converges to $\frac{l-1}{1}$. But this is impossible as

which is known from lectures to be nonconvergent.

**Solution to 3.4.** (a) Let $H\left(n\right)$ be the statement
${a}_{n}\u2a7d1$

.
Then $H\left(1\right)$ is true, as ${a}_{1}=1\u2a7d1$.
Also $H\left(2\right)$ is true, as ${a}_{2}=1\u2a7d1$.
Now suppose $H\left(1\right),H\left(2\right),\dots H\left(n\right),H\left(n\mathrm{+1}\right)$ are all true,
where $n\u2a7e1$ and argue as follows.

using $H\left(n\right)$ and $H\left(n\mathrm{+1}\right)$, which say that ${a}_{n}\u2a7d1$ and ${a}_{n+1}\u2a7d1$. So $H\left(n\mathrm{+2}\right)$ is true. This completes the proof by induction.

(Note: If you are not happy about assuming
an induction hypothesis that says that
$H\left(1\right),H\left(2\right),\dots H\left(n\right),H\left(n\mathrm{+1}\right)$ are all true, think of this
argument just given as showing that $P\left(1\right)$ holds and
$P\left(n\right)\Rightarrow P(n+1)$ holds for $n\in \mathbb{N}$
where the statement $P\left(n\right)$ is
$\forall k(1\u2a7dk\wedge k\u2a7dn+1\Rightarrow H\left(k\right))$

.
Often induction proofs require the induction hypothesis to cover
all previous cases of the induction statement.)

(b) Let $H\left(n\right)$ be the statement
${a}_{n}\u2a7e\frac{1}{2}$

. $H\left(1\right)$ is true
as ${a}_{1}=1\u2a7e\frac{1}{2}$ and $H\left(2\right)$ is true
as ${a}_{2}=1\u2a7e\frac{1}{2}$. Now suppse $H\left(k\right)$ is true for all $1\u2a7dk\u2a7dn+1$
where $n\u2a7e1$ and argue as follows.

by $H\left(n\right)$ and $H\left(n\mathrm{+1}\right)$, so $H\left(n\mathrm{+2}\right)$ is true. This completes the proof by induction.

(c) Let the statement $H\left(n\right)$ be ${a}_{n}\u2a7e{a}_{n+1}\u2a7e\frac{{a}_{n}+1}{3}$, so as ${a}_{1}={a}_{2}=1$, $H\left(1\right)$ says $1\u2a7e1\u2a7e\frac{2}{3}$ which is true. Now assume $H\left(n\right)$ is true for $n\u2a7e1$ and compute:

as ${a}_{n+1}\u2a7e\frac{{a}_{n}+1}{3}$. Also,

as ${a}_{n}\u2a7e{a}_{n+1}$ and ${a}_{n+1}\u2a7e\frac{1}{2}$. This proves $H\left(n\mathrm{+1}\right)$. So $H\left(n\right)$ is true for all $n$, by induction.

(d) These results show that $\left({a}_{n}\right)$ is bounded (by (a) and (b)) and is monotonic (by (c)), and so by monotone convergence has a limit $l\in \mathbb{R}$. Now $\left({a}_{n\mathrm{+1}}\right)$ and $\left({a}_{n\mathrm{+2}}\right)$ are subsequences of $\left({a}_{n}\right)$ so by the theorem on subsequences converge to the same limit $l$. But ${a}_{n+2}=\frac{{a}_{n}+{a}_{n+1}+1}{4}$, so by the continuity of + and division by 4, ${a}_{n+2}\to \frac{l+l+1}{4}$ as $n\to \infty $. By uniqueness of limits we have $l=\frac{l+l+1}{4}$, and solving this we get $l=\frac{1}{2}$. Hence $l=\frac{1}{2}$.