ルベーグ測度
Construction of the Lebesgue measure.