A.k.a. the pigeonhole principle. Given boxes and
objects, at least one box must contain more than one
object. This statement has important applications in number
theory and was first stated by Dirichlet in 1834.
In general, if
objects are placed into
boxes, then there exists at least one box containing at least
objects, where
is the ceiling function.