狄利克雷函数无单调性证明