In my next real analysis lecture, we’ll be discussing the Bolzano-Weierstrass theorem. (It says that any bounded sequence of real numbers contains a convergent subsequence.)
I’ll be showing my class this video in which Steve Sawin (AKA Slim Dorky) raps the complete proof of the theorem.
You can read the lyrics here.
He has some other songs and videos on his website.