Real Number Line is Lindelöf

Theorem
Let $\struct {\R, \tau_d}$ be the real number line with the usual (Euclidean) topology.

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

Proof
From Real Number Line 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.