展开 证明狄利克雷函数无极