1856 - Existence Proof

Real analysis is way realer than I expected.

This is an archival copy of the works from xkcd.com.