狄利克雷函数奇偶性单调性有界性