It's worth noting in relation to this answer that while the equivalence between sequential and ε,δ-continuity at a point requires some form of Choice, the equivalence between sequential and ε,δ-continuity everywhere is a theorem of ZF: see Herrlich, Axiom of Choice (2006), theorem 3.15. I'm still very confused as to what magic makes this possible.
↧