展开 如何理解狄利克雷函数的单调性