MathDB
Sequence inequality - a_n - 2a_{n+1} + a_{n+2} ≤ 0

Source:

September 21, 2010
inequality systemSequenceConvexityalgebraIMO Shortlist

Problem Statement

Let a1,a2,,an,a_1, a_2, \ldots , a_n, \ldots be a sequence of real numbers such that 0an10 \leq a_n \leq 1 and an2an+1+an+20a_n - 2a_{n+1} + a_{n+2} \geq 0 for n=1,2,3,n = 1, 2, 3, \ldots. Prove that 0(n+1)(anan+1)2 for n=1,2,3,0 \leq (n + 1)(a_n - a_{n+1}) \leq 2 \qquad \text{ for } n = 1, 2, 3, \ldots