狄利克雷抽屉原理

又称鸽巢原理。给定 个盒子和 个物体，至少有一个盒子必须包含不止一个物体。这个陈述在数论中有重要的应用，最早由狄利克雷在 1834 年提出。

一般来说，如果将 个物体放入 个盒子中，那么至少存在一个盒子包含至少 个物体，其中 是天花板函数。