IMO 1992 LL TWN77
Show that if 994 integers are chosen from 1, 2, . . . , 1992 and
IMO 1992 LL TWN77
Origin: TWN
Problem
Show that if 994 integers are chosen from 1, 2, . . . , 1992 and one of the chosen integers is less than 64, then there exist two among the chosen integers such that one of them is a factor of the other.