Assertion: sequence | /r/DefinedAs | 1 = x n
Facets:
Source sentences:
text: The sequence defined by x 0 = 1 , x n + 1 = x n + 2 x n 2 {\displaystyle x_{0}=1,x_{n+1}={\frac {x_{n}+{\frac {2}{x_{n}}}}{2}}} irrational square root of two, see Babylonian method of computing square root.