ISL 2012 A6
Let be a function, and let be applied times. Suppose that for every there exists a such that , and let be the smallest such . Prove that the sequence is unbounded.
Official text Transcription from NuminaMath olympiads, checked word for word against the official paper. Quoted with source.
Official text: IMO 2012 Shortlist booklet, page 4.
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).