Evaluating the nested radical $ \sqrt{1 + 2 \sqrt{1 + 3 \sqrt{1 + \cdots}}} $. How does one prove the following limit?
$$
  \lim_{n \to \infty}
  \sqrt{1 + 2 \sqrt{1 + 3 \sqrt{1 + \cdots \sqrt{1 + (n - 1) \sqrt{1 + n}}}}}
= 3.
$$
 A: This is Ramanujan's famous nested radical.
More information can be found here: http://www.isibang.ac.in/~sury/ramanujanday.pdf
See Also: http://mathworld.wolfram.com/NestedRadical.html (number 26).
Apparently, this is how he came up with it (sorry, no reference for this claim).
Start with
$$3 = \sqrt{9} = \sqrt{1 + 8} = \sqrt{1 + 2 \cdot 4}$$
$$ = \sqrt{1 + 2\sqrt{16}} = \sqrt{1 + 2\sqrt{1 + 3 \cdot 5}}$$
$$ = \sqrt{1 + 2\sqrt{1 + 3 \sqrt{25}}} = \sqrt{1 + 2\sqrt{1 + 3 \sqrt{1 + 4 \cdot 6}}}$$
etc.
A: This is the special case $\rm\ x,\:n,\:a = 2,\:1,\:0\ $ in Ramanujan's second notebook, chapter XII, entry 4:
$$\rm x + n + a\ =\ \sqrt{ax + (n+a)^2 + x\sqrt{a(x+n) + (n+a)^2 + (x+n) \sqrt{\cdots}}} $$
Below is Ramanujan's solution of the given special case - which was submitted to a journal in April 1911. Note that his solution is incomplete (exercise: why?). For further discussion see this 1935 Monthly article, Herschfeld: On infinite radicals.  It also appeared as Problem A6 on the 27th Putnam competition, 1966. Vijayaraghavan proved that a sufficient criterion for the convergence of the following sequence $\ \sqrt{a_1 + \sqrt{a_2 +\:\cdots\: +\sqrt{a_n}}}\ \ $ is that $\rm\displaystyle\ \ {\overline \lim}_{n\to\infty}\frac{\log{a_n}}{2^n}\ < \infty\:.\ $
 
A: Let me provide a full and simple proof here (6 years later)
Set, for $m<n$
$$
a_{m,n}=\sqrt{1+m\sqrt{1+(m+1)\sqrt{1+\cdots+(n-1)\sqrt{1+n}}}}.
$$
We shall first show that $$a_{m,n}<m+1,\tag{1}$$ in the following way using
Backwards induction. Clearly,
$a_{n,n}=\sqrt{1+n}<1+n$, and if $a_{k+1,n}<k+2$, for some $k<n$, then
$$
a_{k,n}=\sqrt{1+ka_{k+1,n}}<\sqrt{1+k(k+2})=\sqrt{k^2+2k+1}=k+1.
$$
In particular, in the same way we can show that
$$
m+1=\sqrt{1+m\sqrt{1+(m+1)\sqrt{1+\cdots+(n-1)\sqrt{1+{\color{red}{n^2+2n}}}}}}
$$
Next, observe that
$$
0<m+1-a_{m,n}= \\
=\sqrt{1+m\sqrt{1+\cdots+(n-1)\sqrt{1+{\color{red}{n^2+2n}}}}}
-\sqrt{1+m\sqrt{1+\cdots+(n-1)\sqrt{1+{n}}}} \\
=\frac{m\Big(\sqrt{1+(m+1)\sqrt{1+\cdots+(n-1)\sqrt{1+{\color{red}{n^2+2n}}}}}
-\sqrt{1+(m+1)\sqrt{1+\cdots+(n-1)\sqrt{1+{n}}}}\Big)}{\sqrt{1+m\sqrt{1+\cdots+(n-1)\sqrt{1+{\color{red}{n^2+2n}}}}}
+\sqrt{1+m\sqrt{1+\cdots+(n-1)\sqrt{1+{n}}}}} \\
<\frac{m}{m+2}(m+2-a_{m+1,n}) <\cdots < \frac{m(m+1)\cdots (n-1)}{(m+2)(m+3)\cdots(n+1)}(n+1-a_{n,n})=\frac{m(m+1)(n+1-\sqrt{n+1})}{n(n+1)}<\frac{m(m+1)}{n}.
$$
Thus
$$
\lim_{n\to\infty}a_{m,n}=m+1.
$$
