= Solution
The <Lebesgue outer measure> is
$$
\mathcal L^*(E)=\inf\left\{\sum_j|Q_j|:E\subseteq\bigcup_jQ_j,\ Q_j\text{ bounded open axis-parallel boxes}\right\},
$$
where $|Q|$ is the product of its side lengths. The infimum ranges over countable covers; allowing other standard endpoint conventions gives the same <outer measure> by arbitrarily small enlargement. <Lebesgue measure> is its restriction to <Lebesgue measurable sets>.
Enlarged unit cubes give $\mathcal L^*([0,1]^n)\leq1$. For any countable open-box cover of this compact cube choose a finite subcover. A finite grid formed from its box endpoints and the cube endpoints partitions the cube into rectangular cells. The sum of the volumes of covering boxes is at least the sum of these cell volumes, which is one. Boundary faces have elementary zero volume and do not affect the finite volume comparison. Thus every covering sum is at least one, proving
$$
\boxed{\mathcal L^*([0,1]^n)=1.}
$$
Back to article page
