Here, I prove that a particular integral over a particular path in the complex field counts the number of roots lying “inside” the path for any given polynomial.  A fairly beautiful result from complex analysis!

(this has nothing in particular to do with Dedekind cuts, I just really liked this cartoon.)