取整表达式以 105 为周期并增加常数:D(N+105)=D(N)+2D(N+105)=D(N)+2D(N+105)=D(N)+2。直接有限检验 69≤N≤17369\le N\le17369≤N≤173 得到 minD(N)=1\min D(N)=1minD(N)=1。每增加 105,D 增加 2,因此对所有 N≥69N\ge69N≥69 都有 D(N)>0D(N)>0D(N)>0;所以任何解都满足 N<69N<69N<69。