勒贝格测度
where formula_150 is the Lebesgue measure on the real line.