r2(N)=(N/2)∏mr=ar≥1
因为：
有素数3获得a1和m1,
1>m1>0
有素数Pr获得ar和mr
因为Pr≥3，所以mr≥m1>0
所以：r2(N)=ar≥1
这个结论完全正确！

任举一例:
212:{Pr}={3,5,7,11,13}
3|/212,m1=40/106
5|/212,m2=24/40
7|/212,m3=18/24
11|/212,m4=16/18
13|/212,m5=14/16
根据崔坤真值公式：
r2(N)=(N/2)∏mr
r2(212)
=(212/2）m1*m2*m3*m4*m5
=106*40/106*24/40*18/24*16/18*14*16
=14
211∈p
r2(212)=14-2=12为真

再举一个例子：偶数1020：
{Pr}={3,5,7,11,13,17,19,23,29,31}，r=10
3|1020,m1=340/510
5|1020,m2=272/340
7|/1020,m3=196/272
11|/1020,m4=166/196
13|/1020,m5=141/166
17|1020,m6=131/141
19|/1020,m7=116/131
23|/1020,m8=108/116
29|/1020，m9=106/108
31|/1020，m10=104/108
根据崔坤真值公式：
r2(N)=(N/2)∏mr
r2(1020)
=(1020/2）*m1*m2*m3*m4*m5*m6*m7*m8*m9*m10
=510*340/510*272/340*196/272*166/196*141/166*
131/141*116/131*108/116*106/108*104/108
=104
1019∈p
r2(1020)=104-2=102为真
r2(1020)=102

素数3双筛N得真实剩余m1>0,
末筛素数Pr双筛N得真实剩余mr,
因为Pr≥3，所以mr≥m1>0
由此推得: r2(N)=(N/2)∏mr=ar≥1
因为N发散，1≥∏mr >0， 所以r2(N)也是发散的。
请记住这是数学分析的语言！！！

逻辑推理严谨性不言而喻！