MathDB
2008 KMO P8

Source:

August 9, 2015
floor functionalgebra

Problem Statement

For fixed positive integers s,ts, t, define ana_n as the following. a1=s,a2=ta_1 = s, a_2 = t, and n1\forall n \ge 1, an+2=an+(n+2)an+1+2008a_{n+2} = \lfloor \sqrt{a_n+(n+2)a_{n+1}+2008} \rfloor. Prove that the solution set of anna_n \not= n, nNn \in \mathbb{N} is finite.