Geometric Pigeonhole Principle

51 Ants on a Unit Square

Prove that no matter how 51 ants are placed in a unit square, a disk of radius 1/7 can always be positioned to cover at least 3 ants.