The Busy Beaver Problem.

The Beer Glass Theorem.