Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I recently came across this problem

Q1 Show that $\lim\limits_{n \rightarrow \infty} \underbrace{{\sqrt{1+2\sqrt{1+3\sqrt{1+4\sqrt{1+\cdots+n\sqrt{1}}}}}}}_{n \textrm{ times }} = 3$

After trying it I looked at the solution from that book which was very ingenious but it was incomplete because it assumed that the limit already exists.

So my question is

Q2 Prove that the sequence$$\sqrt{1+2\sqrt{1}},\sqrt{1+2\sqrt{1+3\sqrt{1}}},\sqrt{1+2\sqrt{1+3\sqrt{1+4\sqrt{1}}}},\cdots,\sqrt{1+2\sqrt{1+3\sqrt{1+4\sqrt{1+\cdots+n\sqrt{1}}}}}$$ converges.

Though I only need solution for Q2, if you happen to know any complete solution for Q1 it would be a great help .

If the solution from that book is required I can post it but it is not complete as I mentioned.

Edit: I see that a similar question was asked before on this site but it was not proved that limit should exist.

share|cite|improve this question
possible duplicate of Limit of Nested Radical – Gerry Myerson Jul 2 '12 at 12:15
Did you look at all the links in all the answers to that earlier question? – Gerry Myerson Jul 2 '12 at 12:27
Thanks I found the answer in this article Herschfeld: On infinite radicals. – sabertooth Jul 2 '12 at 12:59
@GerryMyerson I think it's hard to search for the earlier posts. – Frank Science Jul 2 '12 at 13:18
@Frank While it is true that the SE search function leaves much to be desired (instead try googling with site:MSE), it does work well for reasonable unique terms like "nested radical". Indeed, it yields the cited duplicate question as first match. But, of course, one does need to know the English buzzwords for these objects. – Bill Dubuque Jul 2 '12 at 14:46
up vote 12 down vote accepted

Let $f_n(0)=\sqrt{1+n}$ and $f_n(k)=\sqrt{1+(n-k)f_n(k-1)}$. Then $0<f_n(0)<n+1$ when $n>0$. Assume that $f_n(k)<n+1-k$ and we can show by induction that $$ f_n(k+1) < \sqrt{1+(n-k-1)(n-k+1)} = \sqrt{1+(n-k)^2-1} = n+1-(k+1) $$ for all k. Your expression is $f_n(n-2)$ which is increasing in $n$ and bounded above by $3$, so converges.

share|cite|improve this answer

Note that $$ x+1=\sqrt{1+x(x+2)}\tag{1} $$ Iterating $(1)$, we get $$ x+1=\sqrt{1+x\sqrt{1+(x+1)\sqrt{1+(x+2)\sqrt{1+(x+3)\color{#C00000}{(x+5)}}}}}\tag{2} $$ Note that $$ s_3=\sqrt{1+x\sqrt{1+(x+1)\sqrt{1+(x+2)\sqrt{1+(x+3)\color{#C00000}{\sqrt{1}}}}}}\tag{3} $$ Instead of $\color{#C00000}{\sqrt{1}}$ as in the last term of $(3)$, $(2)$ has $\color{#C00000}{(x+n+2)}$. Thus, the increasing sequence in $(3)$ is bounded above by $x+1$. Thus, the sequence in $(3)$ has a limit.

share|cite|improve this answer
I try to compliment this every time - but I love the custom-dulled colors. – mixedmath Dec 15 '12 at 19:40

$x + 1 = \sqrt {1 + x\sqrt{1+(x+1)\sqrt{1+(x+2)\sqrt{}.....}}}$. Put $x=2$ gives you the solution. For proof see

share|cite|improve this answer
It is the same proof that I know but discussion of convergence is not complete still +1 for dicussion of numerical convergence. – sabertooth Jul 2 '12 at 12:52

Note that $\frac{x+y}{x+z} < \frac{y}{z}$ for positive $x, y, z$; thus $\frac{\sqrt{x+y}}{\sqrt{x+z}} < \frac{\sqrt{y}}{\sqrt{z}}$ for $y > z$.

Thus we get $\frac{a_{n+1}}{a_n} = \frac{\sqrt{1+2\sqrt{1+3\sqrt{1+4\sqrt{1+\cdots+n\sqrt{1+(n+1)\sqrt{1}}}}}}}{\sqrt{1+2\sqrt{1+3\sqrt{1+4\sqrt{1+\cdots+n\sqrt{1}}}}}} < \frac{\sqrt{\sqrt{1+3\sqrt{1+4\sqrt{1+\cdots+n\sqrt{1+(n+1)\sqrt{1}}}}}}}{\sqrt{\sqrt{1+3\sqrt{1+4\sqrt{1+\cdots+n\sqrt{1}}}}}} < \frac{\sqrt{\sqrt{\cdots\sqrt{n+2}}}}{\sqrt{\sqrt{\cdots\sqrt{1}}}} = O(n^{(2^{-n})})$.

Next, $\ln{a_{n+1}}-\ln{a_n} = O(\frac{\ln_n}{2^n})$. Summing the equations we get $\ln{a_n} - \ln{a_1} = O(\frac{\ln_1}{2^1} + \cdots + \frac{\ln_n}{2^n})$; letting $n$ to approach $\infty$, we get $\ln{a} - \ln{a_1} = O(1)$, thus there is a finite limit of $a_i$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.