ルベーグ測度
where formula_150 is the Lebesgue measure on the real line.