A standard proposition in measure theory is that if is any Lebesgue measurable set in with , then for any there is a finite, nontrivial interval such that .

To generalize this, suppose with . Then why for any is there some box such that ? Thank you.