Q51 Matemática  (IMO Longlists 1988)

inteiro positivo $n$ tem a propriedade de que, em qualquer conjunto de $n$ inteiros, escolhidos entre os inteiros $1,2,\dots ,1988,$ vinte e nove deles formam uma progressão aritmética. Prove que $n>1788.$