Pigeonhole principle