MathDB
SMT 2010 Algebra Problem 1

Source:

July 27, 2011
quadraticsalgebraquadratic formula

Problem Statement

Compute 1+1+1+1+1+1+\sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+\cdots}}}}}}