A sequence of real numbers a1,a2,… 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 M such that ∣an∣≤M for all positive integers n. functionalgebraIMO Shortlist