Statement: If E is a bounded set of real numbers, there exists a G-delta set G such that G contains E and has the same Lebesgue outer measure with E.
I completed the proof for the case that E is countable, but how should I prove this for the case that E is uncountable?
