olymmath

ISL 2008 N3

    Let a0,a1,a2,…a_{0}, a_{1}, a_{2}, \ldots be a sequence of positive integers such that the greatest common divisor of any two consecutive terms is greater than the preceding term; in symbols, gcd⁡(ai,ai+1)>ai−1\operatorname{gcd}\left(a_{i}, a_{i+1}\right)>a_{i-1}. Prove that an≥2na_{n} \geq 2^{n} for all n≥0n \geq 0.

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

    Official text: IMO 2008 Shortlist booklet, page 47.

    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/2008/n3 · Tag KGHQACM66M · Edit this page on GitHub · Keys: j next, k previous