19.1 狄利克雷函数