勒贝格测度
Therefore the Lebesgue measure is s-finite.