The interesting application in Spivak's *Calculus* is the proof of the irrationality of pi.
I guess this is the proof due to Niven.