If there are nnn boxes and mmm pigeons (where m>nm > nm>n), then at least one box must contain ⌊m−1n+1⌋\lfloor \frac{m - 1}{n} + 1 \rfloor⌊nm−1+1⌋ pigeons.