Finite OUTER measure and measurable set Royden's Real Analysis (4th edition), problem #19 (Chapter 2.5):
Let $E$ have a finite OUTER measure. Show that if $E$ is not measurable, then there is an open set $O$ containing $E$ that has a finite outer measure and for which $m^{*}(O - E) > m^*(O)-m^*(E)$.
My question is how can a set of finite measure be not measurable? I know that every set of finite positive measure harbors non-measurable subsets, but how could the whole set $E$ be not measurable when it has a finite measure by assumption?
Thanks.
I have righted the above problem. Sorry all!

It's probably supposed to say "Let $E$ have finite outer measure".  
There's an errata list here.  There is no entry for this problem, but the entry for problem 18 on page 43 looks similar to this problem and is supposed to start "Let $E$ have finite outer measure".
