MathDB
Sequences...

Source: RMO 2018 P6

October 28, 2018
algebra

Problem Statement

Define a sequence {an}n1\{a_n\}_{n\geq 1} of real numbers by a1=2,an+1=an2+12, for n1.a_1=2,\qquad a_{n+1} = \frac{a_n^2+1}{2}, \text{ for } n\geq 1. Prove that j=1N1aj+1<1\sum_{j=1}^{N} \frac{1}{a_j + 1} < 1 for every natural number NN.