Le $X$ be any Hausdorff, sequentially compact, not compact space (e.g. $\omega_1$ with the order topology). Then $X^\mathbb{N}$ is Hausdorff, sequentially (hence countably) compact, and not locally compact, because any set with non-empty interior is mapped surjectively onto $X$ by some projection, thus is not compact as $X$ itself is not.
Pietro Majer
- 60.5k
- 4
- 122
- 269