展开 狄利克雷函数在01的lebesgue积分