IMO 1983 - Shortlisted problems Question 14

(POL 2) IMO5. Prove or disprove: From the interval $[1,\ldots,30000]$ one can select a set of $1000$ integers containing no arithmetic triple (three consecutive numbers of an arithmetic progression).