This video provides a complete proof that triangle-free graphs with arbitrarily large chromatic number exist, by using the Pigeonhole principle.