鸽巢原理

n+1 个东西放进 n 个抽屉，必有一个抽屉不止一个。常用来证明"一定存在"。