DE-MO 2012 Problem 6

Let $a_1$ and $a_2$ be postive real numbers. Let $a_{n+2}=1+\frac{a_{n+1}}{a_{n}}$ Prove that $|a_{2012}-2|<10^{-200}$

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.