Školjka

%V0 Let $a > 2$ be given, and starting $a_0 = 1, a_1 = a$ define recursively: $$a_{n+1} = \left(\frac{a^2_n}{a^2_{n-1}} - 2 \right) \cdot a_n.$$ Show that for all integers $k > 0,$ we have: $\sum^k_{i = 0} \frac{1}{a_i} < \frac12 \cdot (2 + a - \sqrt{a^2-4}).$