ルベーグ測度
where formula_65 is the Lebesgue measure.