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.