A sequence must be bounded
Source: IMO Shortlist 2017 A4
July 10, 2018
functionalgebraIMO Shortlist
Problem Statement
A sequence of real numbers 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 such that for all positive integers .