# Proof of nonmeasurable set

1. Let a set E have a finite outer measure. Show that if E is not measurable, then there is an open set O containing the set that has finite outer measure and for which m*(O~E) > m*(O)-m*(E).

Any idea how to takle this proof?

HallsofIvy