Pigeonhole principle/Definition

Principle, that if a very large set of elements is partitioned into a small number of blocks, then at least one block contains a rather large number of elements.