Metrizable implies first-countable

Statement
Any metrizable space is a first-countable space.

Related facts

 * First-countable implies compactly generated