ISL 2007 N3
Let be a set of 10000 integers, none of them is divisible by 47 . Prove that there exists a 2007-element subset of such that is not divisible by 47 for any . (Netherlands)
Dataset text NuminaMath olympiads. Quoted with source.
Official text: IMO 2007 Shortlist booklet, page 58.
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).