Scrabble?! PIGEONHOLER

Definitions of PIGEONHOLER in various dictionaries:

In mathematics, the pigeonhole principle states that if n {\displaystyle n} items are put into m {\displaystyle m} containers, with n > m {\displaystyle n>m} , then at least one container must contain more than one item. This theorem is exemplified in real life by truisms like "in any group of three gloves there must be at least two left gloves or at least two right gloves". It is an example of a counting argument. This seemingly obvious statement can be used to demonstrate possibly unexpected results; for example, that there are two people in London who have the same number of hairs on their heads. The first formalization of the idea is believed to have been made by Peter Gustav Lejeune Dirichlet in 1834 under the name Schubfachprinzip ("drawer principle" or "shelf principle"). For this reason it is also commonly called Dirichlet's box principle or Dirichlet's drawer principle. This should not be confused with Dirichlet's principle, a term introduced by Riemann that refers to the minimum principle for harmonic functions. The principle has several generalizations and can be stated in various ways. In a more quantified version: for natural numbers k {\displaystyle k} and m {\displaystyle m} , if n = k m + 1 {\displaystyle n=km+1} objects are distributed among m {\displaystyle m} sets, then the pigeonhole principle asserts that at least one of the sets will contain at least k + 1 {\displaystyle k+1} objects. For arbitrary n {\displaystyle n} and m {\displaystyle m} this generalizes to k + 1 = ⌊ ( n − 1 ) / m ⌋ + 1 = ⌈ n / m ⌉ , {\displaystyle k+1=\lfloor (n-1)/m\rfloor +1=\lceil n/m\rceil ,} where ⌊ ⋯ ⌋ {\displaystyle \lfloor \cdots \rfloor } and ⌈ ⋯ ⌉ {\displaystyle \lceil \cdots \rceil } denote the floor and ceiling functions, respectively. Though the most straightforward application is to finite sets (such as pigeons and boxes), it is also used with infinite sets that cannot be put into one-to-one correspondence. To do so requires the formal statement of the pigeonhole principle, which is "there does not exist an injective function whose codomain is smaller...