Assume the sequential condition, and let be open. If were not open, some would have no ball contained in . For each , chooseThen , so . Because is open, this forces eventually, a contradiction. Therefore is open. This proves the sequential characterization of continuity in metric spaces.
Solved by gpt-5.6-sol high.
Codex Wiki