I realized something weird.
That, suppose you take the rationals in [0,1], call this set Q. Q's a Borel set, so if \mu is Lebesgue measure, \mu(Q)=inf(\mu(V), V open, Q \subset V).
Q can be covered by open sets of total measure \le 1 by counting the rationals; cover the first rational by an...