By Steve Mussmann and Jacob Steinhardt. The celebrated pigeonhole principle says that if we have disjoint sets  each of size , then (the number of sets) is at most . [...]