No Lebesgue-measurable subset such that $\lambda(I\cap A) = \frac{1}{2} \lambda(I) \forall I$
For a set of positive measure there is an interval in which its density is high, $\mu(E\cap I)> \rho \mu(I)$