证明dirichlet函数不存在最小正周期