Prove that every open subset O of R is a disjoint union of open intervals. Further show that this union is at most countable by noting that each component must contain a rational.