展开 证明狄利克雷函数的可积性