MathDB
A sequence must be bounded

Source: IMO Shortlist 2017 A4

July 10, 2018
functionalgebraIMO Shortlist

Problem Statement

A sequence of real numbers a1,a2,a_1,a_2,\ldots satisfies the relation a_n=-\max_{i+j=n}(a_i+a_j)\qquad\text{for all}  n>2017. Prove that the sequence is bounded, i.e., there is a constant MM such that anM|a_n|\leq M for all positive integers nn.