Prove that the sequence defined by: $$ y_ {n + 1} = \frac {1} {2} (3y_ {n} + \sqrt {5y_ {n} ^ {2} -4}) , \,\, \forall n \ge 0$$with $ y_ {0} = 1$ consists only of integers.
Problem
Source: OIFMAT III 2013 day 2 p5 - Chilean Math Forum FMAT Olympiad https://artofproblemsolving.com/community/c2484778_oifmat
Tags: number theory, Sequence, recurrence relation, Recurrence