Atlas/Analysis/Measure theory and Lᵖ
1/4
Outer measure of A is the infimum of total length of interval covers.