Stanford CS103 Lecture 11: Generalized Pigeonhole, Ramsey Theory, and Average Load
Use the generalized pigeonhole principle to force a monochromatic triangle at a six-person party, then solve a movie-preference puzzle through average load and contradiction.