olymmath

ISL 2014 A1

    Let z0<z1<z2<⋯z_{0}<z_{1}<z_{2}<\cdots be an infinite sequence of positive integers. Prove that there exists a unique integer n⩾1n \geqslant 1 such that zn<z0+z1+⋯+znn⩽zn+1z_{n}<\frac{z_{0}+z_{1}+\cdots+z_{n}}{n} \leqslant z_{n+1} (Austria)

    Official text Transcription from NuminaMath olympiads, checked word for word against the official paper. Quoted with source.

    Official text: IMO 2014 Shortlist booklet, page 5.

    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/2014/a1 · Tag 2371X14VJ6 · Edit this page on GitHub · Keys: j next, k previous