Following [1]} we construct a
probability measure \(\mu \)  supported on \(E\) .
In order to do so, we define a sequence \((\mu _m)\)  of
probability measures inductively. Here \(\mu _m\)  is supported on \(E_m\) ,
and the restriction of \(\mu _m\)  to an element of \(\mathcal {E}_m\)  is
a rescaled Lebesgue measure.
