C4 Los números de Fibonacci $F_0, F_1, F_2, . . .$ se definen inductivamente por $F_0=0, F_1=1$ y $F_{n+1}=F_n+F_{n-1}$ para $n \ge 1$ . Dado un entero $n \ge 2$ , determine el menor tamaño de un conjunto $S$ de enteros tal que para cada $k=2, 3, . . . , n$ existan $x, y \in S$ tales que $x-y=F_k$ . Propuesto por Croatia