I love the fact he mentioned the Reimann rearrangement theorem briefly in his examples about analysis. That is (in my opinion) one of the coolest and least intuitive consequences of infinities. Requires some intro to different types of convergence to fully appreciate.