Theorem
A functiondefined on a first countable space
is continuous at a point
if and only if it is sequentially continuous at the point.
Proof
Letbe a function on a set
nd let
be a nested local base at
Supposeis not continuous. Then an open set
exists such that
and for every
Thus for everyan
exists such that
so
Hencebut