ISL 2021 C1
Let be an infinite set of positive integers, such that there exist four pairwise distinct with . Prove that there exist three pairwise distinct such that .
Dataset text NuminaMath olympiads. Quoted with source.
Official text: IMO 2021 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).