MathDB
Problems
Contests
Undergraduate contests
Vojtěch Jarník IMC
2003 VJIMC
Problem 3
formalization of Ramanujan's result
formalization of Ramanujan's result
Source: VJIMC 2003 1.3
July 12, 2021
limits
real analysis
Nested Radicals
Problem Statement
Find the limit
lim
n
→
∞
1
+
2
1
+
3
…
+
(
n
−
1
)
1
+
n
.
\lim_{n\to\infty}\sqrt{1+2\sqrt{1+3\sqrt{\ldots+(n-1)\sqrt{1+n}}}}.
n
→
∞
lim
1
+
2
1
+
3
…
+
(
n
−
1
)
1
+
n
.
Back to Problems
View on AoPS