olymmath

ISL 2015 C5

    Consider an infinite sequence a1,a2,…a_{1}, a_{2}, \ldots of positive integers with ai⩽2015a_{i} \leqslant 2015 for all i⩾1i \geqslant 1. Suppose that for any two distinct indices ii and jj we have i+ai≠j+aji+a_{i} \neq j+a_{j}. Prove that there exist two positive integers bb and NN such that ∣∑i=m+1n(ai−b)∣⩽10072\left|\sum_{i=m+1}^{n}\left(a_{i}-b\right)\right| \leqslant 1007^{2} whenever n>m⩾Nn>m \geqslant N.

    Dataset text NuminaMath olympiads. Quoted with source.

    Official text: IMO 2015 Shortlist booklet, page 6.

    Solutions

    Official solution Solution 1 by the IMO Problem Selection Committee

    The terms of the source let olymmath link to this solution but not copy it. Read the solution (IMO official site).

    Locator isl/2015/c5 · Tag 7WCPG38DPT · Edit this page on GitHub · Keys: j next, k previous