狄利克雷判别法单调递增趋于0