MathDB
Choosing numbers - IMO LongList 1992 TWN3

Source:

September 2, 2010
combinatoricsRamsey TheoryAdditive Number TheoryAdditive combinatoricsIMO ShortlistExtremal combinatoricsIMO Longlist

Problem Statement

Show that if 994994 integers are chosen from 1,2,,19921, 2,\cdots , 1992 and one of the chosen integers is less than 6464, then there exist two among the chosen integers such that one of them is a factor of the other.