ISL 2020 C4
The Fibonacci numbers are defined inductively by , and for . Given an integer , determine the smallest size of a set of integers such that for every there exist some such that . (Croatia)
Official text Transcription from NuminaMath olympiads, checked word for word against the official paper. Quoted with source.
Official text: IMO 2020 Shortlist booklet, page 8.
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).