IMO 1988 LL MON62

Origin: MON

Problem

The positive integer n has the property that in any set of n integers chosen from the integers 1, 2, . . . , 1988, twenty-nine of them form an arithmetic progression. Prove that n > 1788.