MathDB
easy sequence

Source: KMO 2023 P1

November 4, 2023
number theory

Problem Statement

A sequence of positive reals {an}\{ a_n \} is defined below. a0=1,a1=3,an+2=an+12+2ana_0 = 1, a_1 = 3, a_{n+2} = \frac{a_{n+1}^2+2}{a_n} Show that for all nonnegative integer nn, ana_n is a positive integer.