43
$\begingroup$

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. $$

$\endgroup$
43
$\begingroup$

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\:.\ $

alt text

$\endgroup$
  • 1
    $\begingroup$ The above solution is from which journal? Can you give me the link? $\endgroup$ – Pragyaditya Das May 6 '17 at 16:01
  • $\begingroup$ @PragyadityaDas: the image is from Collected Papers of Ramanujan. $\endgroup$ – Paramanand Singh Aug 18 '18 at 18:46
55
$\begingroup$

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.

$\endgroup$
  • 13
    $\begingroup$ What a beauty! :D $\endgroup$ – AD. Oct 19 '10 at 18:29
  • 2
    $\begingroup$ I just followed a "possible duplicate" link here and saw that my answer is a "possible duplicate" of yours :-) (+1) $\endgroup$ – robjohn Jul 2 '12 at 13:26
21
$\begingroup$

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}}}}. $$ It is can be shown that $$a_{m,n}<m+1,\tag{1}$$ in the following way. (Backwards induction.) First, $a_{n,n}=\sqrt{1+n}<1+n$, and if $a_{k+1,n}<k+2$, 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. $$

$\endgroup$
  • 4
    $\begingroup$ Lol, 6 years later indeed. $\endgroup$ – Simply Beautiful Art Dec 6 '16 at 22:14

protected by Community Apr 12 '17 at 4:03

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).

Would you like to answer one of these unanswered questions instead?