Real analysis is way realer than I expected.