MathDB
Well known PHP

Source: 1996 Korea National Olympiad #1

March 22, 2018
combinatoricspigeonhole principle

Problem Statement

If you draw 44 points on the unit circle, prove that you can always find two points where their distance between is less than 2.\sqrt{2}.