ISL 2008 N3
Let 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, . Prove that for all .
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).