鴿巢原理

將 n+1 個物體放入 n 個盒子，至少有一個盒子含 2 個；一般化：n 個放入 k 個盒子時必有 ⌈n/k⌉ 個在同一盒中。