Problem
One of the most useful tools for proving mathematical statements is the Pigeonhole principle. Here is one example: suppose that a flock of pigeons flies into a set of pigeonholes to roost. Prove that at least one of these pigeonholes must have at least two pigeons in it.