狄利克雷抽屜原理

又稱鴿巢原理。給定 個盒子和 個物體，至少有一個盒子必須包含不止一個物體。這個陳述在數論中有重要的應用，最早由狄利克雷在 1834 年提出。

一般來說，如果將 個物體放入 個盒子中，那麼至少存在一個盒子包含至少 個物體，其中 是天花板函式。