Metric Space is First-Countable

Theorem
Let $M = \left({A, d}\right)$ be a metric space.

Then $M$ is a first-countable space.

Proof
Let $x \in A$.

Consider the set:
 * $\mathcal B = \left\{{B_{1/n} \left({x}\right): n \in \N_{>0}}\right\}$

where $B_{1/n} \left({x}\right)$ is the open $\epsilon$-ball of $x$.

That is:
 * $\mathcal B = \left\{{B_1 \left({x}\right), B_{1/2} \left({x}\right), B_{1/3} \left({x}\right), \ldots}\right\}$

Then $\mathcal B$ is a countable local basis at $x$.

Hence the result, by definition of first-countable space.