本文接着上一篇而写

同样，我们有素数定理，1+1拆分定理

1) 则对于任意 K = 2N， 令 小于等于 K ^0.5 素数最邻近的 为 P_m

2) 小于K的素数个数为 S = K/lnK = π（K）

3) 则根据1+1拆分定理，我们有

     K 减去 小于K 的 素数，仍然为素数的 概率个数 A至少为:    

                           A = (K/lnK)*Q_m/(q_a*q_b*…)  - f(K)

                       ∴ A >B_K = (K/lnK)*Q_m   - f(K)

 f(K) 为K所包含的除2以外的因子个数。 这一项 后面暂时忽略，理由：K越大的，可拆分越多，远大于f（K）

4) 令 M = y*K  y>1 令 小于等于 M ^0.5 素数最邻近的 为 P_n

   则 B_M =  (M/lnM)*Q_n  = ( yK/lnyK )*Q_n

5)    B_M/B_K = ( yK/lnyK )*Q_n / (K/lnK)*Q_m

                = [ y*lnK / ln(yK) ] * Q_n/Q_m

          又 Q_n/Q_m  =  [(P_m+1-2) / (P_m+1-1)]  * [( P_m+2-2) / (P_m+2-1)]*...*[(P_n-2) / (P_n-1)]  

       不妨令   M ^0.5 的近邻素数，比K ^0.5 的近邻素数 大 2

       当M，K足够大时， P_m = K ^0.5     P_n = M ^0.5 =P_m+2=K^0.5+2

       则  B_M/B_K  =[ (P_m+2)² * lnP_m] / [ln(P_m+2)*P_m*(P_m+1)]  = F(P_m)

       易 证， F(P_m)在 P_m > e 之后随之递减却永大于1的函数。

      因此 B_M与B_K相比是递增的，即B_M/B_K  恒＞1。

      即 如果对于任意2N，2N与所有小于2N的素数差为素数的组别个数为S，则比2N大的任何偶数亦可拆成不

      少于S个组别，满足2N与其内素数差 为素数。  

      显然  在以上的基础上， 哥德巴赫猜想 也 在概率基础上 成立。