Real Number Line is Separable/Proof 1

Proof
The rational numbers $\Q$ form a metric space.

We have that the Rationals are Everywhere Dense in Topological Space of Reals.

We also have that the Rational Numbers are Countably Infinite.

The result follows from the definition of separable space.