Schaum's Discrete Problem 6.26: Pigeonhole Principle - Petrik, Rachel (McGraw-Hill's AccessEngineering., 2022)
This video demonstrates a proof using the pigeonhole principle.