IMO 1983 - Danh sách rút gọn Câu hỏi 14

(POL 2) IMO5. Chứng minh hoặc bác bỏ: Từ khoảng $[1,\ldots,30000]$, có thể chọn một tập gồm $1000$ số nguyên không chứa bộ ba cấp số cộng (ba số hạng liên tiếp của một cấp số cộng).