Q21 Matemática  (IMO Shortlist 1968)

Recebemos um ponto fixo no círculo de raio $1$ e, partindo desse ponto ao longo da circunferência na direção positiva em distâncias curvas $0,1,2,\dots$, obtemos pontos com abscisas $n=0,1,2,.\dots$ respectivamente. Quantos pontos entre eles devemos tomar para garantir que dois deles sejam menores que a distância $\frac{1}{5}$ separados?