展开 如何证明狄利克雷函数没有最小正周期