Show that the sequence ${a_n}$ converges where $a_n = \sqrt{1+\sqrt{2+\sqrt{3+\cdots+\sqrt{n}}}}$ for $n\geq 1$. The original question was to determine whether the sequence converges, but I have checked for extremely high values of $n$ and it seems as though it does converge. This lead me to wonder if there was an "easy" method of showing that the sequence is bounded (since it is monotone, it then follows that it converges). Thanks.
 A: By repeatedly rationalizing the numerators and using that $a_n\geq1$ for all $n$, 
$$
a_{n+1}-a_n=\frac{\sqrt{2+\sqrt{3+\cdots\sqrt{n+1}}}-\sqrt{2+\sqrt{3+\cdots\sqrt{n}}}}{a_{n+1}+a_n}\\
\leq\frac{\sqrt{2+\sqrt{3+\cdots\sqrt{n+1}}}-\sqrt{2+\sqrt{3+\cdots\sqrt{n}}}}{2}\\
=\frac12\,\frac{\sqrt{3+\sqrt{4+\cdots\sqrt{n+1}}}-\sqrt{3+\sqrt{4+\cdots\sqrt{n}}}}{\sqrt{2+\sqrt{3+\cdots\sqrt{n+1}}}+\sqrt{2+\sqrt{3+\cdots\sqrt{n}}}}\\
\leq\frac12\,\frac{\sqrt{3+\sqrt{4+\cdots\sqrt{n+1}}}-\sqrt{3+\sqrt{4+\cdots\sqrt{n}}}}{2\sqrt2}\\
\leq\cdots\\
\leq\frac{\sqrt{n+1}}{2^{n+1}}\leq\frac{n+1}{2^n}
$$
By telescoping, we see that the sequence is Cauchy, i.e.
$$
a_{n+k}-a_n=\sum_{j=1}^ka_{n+j}-a_{n+j-1}\leq\sum_{j=1}^k\frac{n+j+1}{2^{n+j}}\leq\frac3{2^n}.
$$
So the limit $L$ exists.
A: The quantity $n^{2^{-n}}$ tends to $1$ as $n \to \infty$, so we can find a constant $C$ such that
$$
n^{2^{-n}} \leq C
$$
for all $n$, and hence that
$$
n \leq C^{2^n}
$$
for all $n$.  Thus
$$
\begin{align}
a_n &= \sqrt{1+\sqrt{2+\sqrt{3+\cdots+\sqrt{n}}}} \\
&\leq \sqrt{C^2+\sqrt{C^{2^2}+\sqrt{C^{2^3}+\cdots+\sqrt{C^{2^n}}}}} \\
&= C \sqrt{1+\sqrt{1+\sqrt{1+\cdots+\sqrt{1}}}} \\
&< C \sqrt{1+\sqrt{1+\sqrt{1+\cdots}}} \\
&= C\varphi,
\end{align}
$$
where $\varphi$ is the golden ratio.  The sequence $a_n$ is bounded and increasing and therefore has a limit.
This essentially mimics the proof of Herschfeld's theorem, the statement of which can be found in my answer here.
A: Term by term, is less than
$$\sqrt{1+\sqrt{2^1+\sqrt{2^2+\sqrt{2^3...}}}}=\sqrt{1+\sqrt{2}\sqrt{1+2^{-1}\sqrt{2^2+\sqrt{2^3...}}}}$$
$$<\sqrt{1+\sqrt{2}\sqrt{1+2^{-0.5}\sqrt{2^2+\sqrt{2^3+...}}}}$$
$$=\sqrt{1+\sqrt{2}\sqrt{1+\sqrt{2+2^{-1}\sqrt{2^3...}}}}$$
$$\cdots$$
$$<\sqrt{1+\sqrt{2}\sqrt{1+\sqrt{2+\sqrt{2^2...}}}}$$
So we now have to show that $a_0=1$,$a_{n+1}=\sqrt{1+\sqrt{2}a_{n}}$ converges(this series is strictly greater than the last equation).We proceed by induction.
Assume $a_n\le\frac{1+\sqrt3}{\sqrt2}$, then
$$a_{n+1}\le\sqrt{2+\sqrt{3}}=\frac{1+\sqrt3}{\sqrt2}$$
And since our sequence is monotone increasing and $1\le\frac{1+\sqrt3}{\sqrt2}$ the result follows. 
Note: The number $1.757933$ of ncmathsadist is fairly close to this limit, $\approx 1.931851$
A: 
I wanted to add the continued fraction format of the problem. This post is not really intended to be an answer 
