$1390$ ants are placed near a line, such that the distance between their heads and the line is less than $1\text{cm}$ and the distance between the heads of two ants is always larger than $2\text{cm}$. Show that there is at least one pair of ants such that the distance between their heads is at least $10$ meters (consider the head of an ant as point).
Problem
Source: Argentina Cono Sur TST 2013, Problem 3
Tags: analytic geometry, geometry, rectangle, inequalities, Pythagorean Theorem, combinatorics proposed, combinatorics