鸽巢原理

将 n+1 个物体放入 n 个盒子，至少有一个盒子含 2 个；一般化：n 个放入 k 个盒子时必有 ⌈n/k⌉ 个在同一盒中。