《王元论哥德巴赫猜想》168页介绍：命r(x)为将偶数表为两个素数之和的变法个数(即偶数内对称素数的个数),144页介绍：求解孪生素数的常数。

r(x)≤7。8∏p|xp-1p-2∏p>21-1(p-1)2xlog2x;

∏p>21-1(p-1)2=∏p>2p(p-2)(p-1)2≈0。66。

该公式是陈景润证明的偶数哥德巴赫猜想上限公式,将7。8改成2就是在23页介绍的哈代和李特伍德给出的偶数哥猜的近似解公式。122页、127页介绍：不超过x的素数个数为π(x)。

π(x)≥x∏si=1pi-1pi;π(x)≥xlogx;x2∏i>1pi-1pi≈xlogx;∏i>1pi-1pi≈2logx。

素数中去掉不满足“偶数=两素数和”的素数的筛法：给定偶数除以各个平方根内的奇素数,得到各种非零的余数。如果较大素数除以较小素数得的余数与给定偶数除同一小素数得的余数相同时,偶数减该素数的差数会是合数,将素数中的这种素数去掉,剩下的素数才满足“偶数-素数=素数”。偶数的因子不含平方根内素数的特种偶数,x=2n,以根内的所有奇素数为参数P，把x数内包含的奇数，全体P数,每P留下(P-1)个数的数量,全体P数,再每(P-1)留下(P-2)个数的数量,或者把x数内包含的奇数,全体P数,每P留下(P-2)个数的数量。就是x数内对称素数数量。孪生素数的常数内涵素数全缩小成对称素数的常数与数全缩小成素数的常数的比例：

∏p>2p(p-2)(p-1)2≈∏p>2(p-2)(p-1)∏p>2pp-1≈∏p>2(p-2)(p-1)×logx2≈0。66;∏p>2(p-2)(p-1)≈1。32logx。

素数缩小成对称素数的常数与数缩小成素数的常数的比例，称为再全缩小素数的常数。

由连乘积求素数个数的算式与对数参数的素数个数的算式的等式，两边同乘以再全缩小素数的常数，得到两种形式的对称素数下限的数量。

r(x)下限≈x2∏i>1pi-1pi∏p>2（p-2)(p-1)≈xlogx×1。32logx；两边同乘以∏p|xp-1p-2。

r(x)≈x2∏i>1pi-1pi∏p>2(p-2)(p-1)∏p|xp-1p-2≈xlogx×1。32logx∏p|xp-1p-2；p|x表示p整除x。

r(x)≈x2∏i>1pi-1pi∏p⊥xp-2p-1≈(1。32)xlog2x∏p|xp-1p-2；p⊥x表示p非整除x。

r(x)≈x2∏p|xp-1p∏p⊥xp-2p≈2∏p>21-1(p-1)2?xlog2x∏p|xp-1p-2；左边是哥猜爱好者爱用的连乘积形式的公式，右边是数学家爱用的对数形式公式，都认可公式是个时有起伏但总是阶段增加的函数。青岛王新宇发现的∏［(P-2)/……