where an = √2 + an − 1, with initial condition a1 = √2.[9] Viète did his work long before the concepts of limits and rigorous proofs of convergence were developed in mathematics; the first proof that this limit exists was not given until the work of Ferdinand Rudio in 1891.[1][10]