Back

Today I tackled another BMO problem. If I have enough time I might later add a longer paper covering my entire thought process.

Problem:
Prove that the sequence defined by
$$y_0=1,y_{n+1}=\frac{1}{2}(3y_n+\sqrt{5y_n^2-4}),(n\ge 0)$$
consists only of integers.