Problem

Source: IMO Shortlist 1996, A3

Tags: inequalities, algebra, Sequence, Recurrence, IMO Shortlist



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}).$