哥德巴赫猜想偶数存在素数对，大家虽然认为这个猜想正确，现在仍然没有公认的证明方法。理论上平均素数对存在为0的可能性，这个问题需要给出合理的证明。

有限的验证不是证明。
r2(N)=C(N)+2π (N)-N/2这些结构表达式与哥德巴赫猜想基本相同，
没有证明偶数是否存在素数对。

（2^(n+1)>2^n+2^(n-1)的问题所在
实验数据也给出了证明：
r2(2^7)=8
r2(2^8)=16
r2(2^9)=22
r2(2^10)=44
r2(2^11)=50
r2(2^12)=106
r2(2^13)=154
r2(2^14)=302
r2(2^15)=488
r2(2^16)=870
r2(2^17)=1500
r2(2^18)=2628
r2(2^19)=4736
r2(2^20)=8478
r2(2^21)=14942
r2(2^22)=27410
r2(2^23)=49856
r2(2^24)=91492
r2(2^25)=166934
r2(2^26)=307700
r2(2^27)=567492
r2(2^28)=1050472
r2(2^29)=1951370
显然随着n越来越大，D(2^(n+1))越来越大于D(2^n)+D(2^(n-1)),

素对平均间距公式
1/（1/2*1/3*...）
素对间距极限公式
n/（1/2*1/3*...）

有限的验证虽然不能证明无穷的偶数都存在素数对，仍然是认识素数分布规律的重要方法。哥德巴赫猜想就是根据有限验证提出来的问题。

我反复的说用平均素数对，无法证明哥德巴赫猜想 ，因为平均值不能反映可能存在的其它复杂情况。只有根据剩余规律计算出素数对的间距上限，才能解决猜想这个问题。

偶数N的素数对真值是主项（N/2X1/3X…）与余项（主项的计算的误差）之和。

1/2X2/3X…，1/2X1/3X…，
偶数N的剩余数对平均间距和间距上限值：
1/（1/2X1/3X…X（p-2）/p）小于ln（N）^2，
n/（1/2X1/3X…X（p-2）/p）小于N/ln（N^0.5）^2，
（第n个素数p是小于N^0.5的最大素数，）
例如100000000的素数对间距小于：
100000000/ln（10000）^2=1178823，
我给出的计算公式虽然已经四十多年，
现在仍然没有得到数学家的公认。

陈景润的证明得到了数学家的公认，哥德巴赫猜想仍然没有定论。我根据剩余规律计算出大偶数N的素数对间距小于n^2。（N^0.5以内有n个素数）

1+2已经解决，1+1面对大家。 根据剩余规律可以确定，若第n个素数是p，则p^2+1以内每个偶数的素数对间距：n/（1/2X1/3X…X（p-2）/p）小于np。

事实胜于雄辩，公道自在人心。