1856: Existence Proof

Real analysis is way realer than I expected.