  It is consistent with ZF set theory that the Euclidean topology on the real
line is not sequential, yet every infinite set of reals contains a countably
infinite subset. This answers a question of Gutierres.
