Math 2.0

Sequences, series, summability Continued fractions and limit processes Example

Nested radical

Builds on Square rootMonotone sequenceMonotone convergence theorem for sequencesGolden ratio

Example

The infinite nested radical 1+1+1+⋯\sqrt{1 + \sqrt{1 + \sqrt{1 + \cdots}}} is defined as the limit of the sequence x1=1x_1 = 1, xn+1=1+xnx_{n+1} = \sqrt{1 + x_n}. This is an infinite composition of the map f(x)=1+xf(x) = \sqrt{1 + x}, since xn=f∘n(0)x_n = f^{\circ n}(0). Its value is the golden ratio φ=1+52\varphi = \frac{1 + \sqrt5}{2}.

Check: the sequence is increasing, since x2=2>x1x_2 = \sqrt2 > x_1 and ff is increasing. It is bounded above by 22, since xn<2x_n < 2 gives xn+1<3<2x_{n+1} < \sqrt3 < 2. By the monotone convergence theorem it has a limit L≥1L \ge 1, and continuity of ff gives L=1+LL = \sqrt{1 + L}. So L2−L−1=0L^2 - L - 1 = 0, and the positive root is L=φL = \varphi.

The same method gives 2+2+⋯=2\sqrt{2 + \sqrt{2 + \cdots}} = 2, from L=2+LL = \sqrt{2 + L}.

Reading path

To understand this page from the ground up, read these 14 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Golden ratio object
  2. Real numbers object
  3. Sequence definition
  4. Set bounded above definition
  5. Real sequence definition
  6. Supremum definition
  7. Bounded sequence definition
  8. Limit of a sequence definition
  9. Monotone sequence definition
  10. Completeness axiom statement
  11. Monotone convergence theorem for sequences statement
  12. Existence of square roots of nonnegative reals statement
  13. Square root definition
  14. Nested radical example

Further reading

  1. Web https://en.wikipedia.org/wiki/Nested_radical
About this page
TagFCTRS2SS16
URIm2://FCTRS2SS16
Kindexample
WritingW0 stub
MSC40A05, 26A18
Instance ofInfinite compositions of functions
UsesSquare root, Monotone sequence, Monotone convergence theorem for sequences, Golden ratio
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.