I am trying to show that the following statement is equivalent to proving that a set $E\subset\mathbb{R}$ is Lebesgue measurable:
Given $\epsilon>0$ there is an open set $O\supset E$ with $m^*(O\setminus E)<\epsilon$. ($m^*$ is the outer measure.)
The hint in my book states that we can find open sets $O_n$ and closed sets $F_n$ such that $m^*(\cap_{n\in\mathbb{N}} O_n\setminus E)=m^*(E\setminus \cup_{n\in\mathbb{N}} F_n)=0$. Thus $E$ is Borel upto a null set and so Lebesgue measurable. I can establish the existence of the requisite $O_n$ through previous theorems in the book for the converse, i.e. for Lebesgue measurability implies this statement, but am not sure how to conclude Lebesgue measurability from this. Can someone explain?
Thanks.