狄利克雷函数怎么积分