Tychonoff’s theorem proves that the product (even infinite) of compact spaces is also compact. The proof makes judicious use of Zorn’s lemma. In fact, it uses it so well, that I gained an appreciation for how fun the lemma can be.

 February 02, 2021
 17 minutes
Tychonoff's Theorem and Zorn's Lemma