Real Number Line is Lindelöf

Theorem
Let $\struct {\R, \tau_d}$ be the real number line considered as a topological space under the usual (Euclidean) topology.

Then $\struct {\R, \tau_d}$ is Lindelöf.

Proof
From Real Number Space is Second-Countable we have that $\struct {\R, \tau_d}$ is a second-countable space.

The result follows from Second-Countable Space is Lindelöf.