MathDB
IMO ShortList 2002, algebra problem 2

Source: IMO ShortList 2002, algebra problem 2

September 28, 2004
inequalitiesalgebraSequenceboundedIMO Shortlist

Problem Statement

Let a1,a2,a_1,a_2,\ldots be an infinite sequence of real numbers, for which there exists a real number cc with 0aic0\leq a_i\leq c for all ii, such that \left\lvert a_i-a_j \right\rvert\geq \frac{1}{i+j}   \text{for all }i,\ j \text{ with } i \neq j. Prove that c1c\geq1.