Some natural numbers are marked. It is known that on every a segment of the number line of length 1999 has a marked number. Prove that there is a pair of marked numbers, one of which is divisible by the other. combinatoricscombinatorial geometrynumber theory