Introduce notation for the set of all open neighborhoods. Prove the reals are separable