x以内孪生素数的个数新式子，请网友用数据检验！

大傻8888888

根据梅滕斯定理x→∞时，∏(1-1/p)-->e^(-γ)/lnx，（其中p≤x ）推论出的x→∞时，∏(1-1/p)-->2e^(-γ)/lnx，（其中p≤√x）是正确的。同时天山草先生用数据也检验了这个方法的确是正确的。看来用∏(1-1/p)直接表示素数的个数是不对的，但是用x∏(1-1/p)/2e^(-γ)，（其中p≤√x）表示x以内素数的个数则是应该成立的，同样用x/2*∏(1-2/p)/[2e^(-γ)]^2，（其中2﹤p≤√x）表示x以内孪生素数的个数也是应该成立的，请有兴趣的网友（特别是天山草先生）用数据检验是否正确。虽然结果还没有出来，但是我个人认为一定是正确的。不信我们可以拭目以待。

纳兰若惜

纳兰若惜

1395094431

我不相信能夠计算出素数个数，也无法验算。

纳兰若惜

花齐空

只能是近似地。

大傻8888888

素数定理也是近似的，但是这并不影响它是一个定理。所以近似不是否定一个问题的理由。

花齐空

"...所以近似不是否定一个问题的理由"，此话未错。你把你的道理讲清了吗？不能以"......但是我个人认为一定是正确的。"作为严宻的数理逻辑的推理、演释的结论。供参且恕不恭维。

大傻8888888

      道理确实没有讲清，当然不能作为严宻的数理逻辑的推理、演释的结论，仅供参考。当然花齐空先生能找出其中的错误或者验证它是正确的，则不胜感激。谢谢您的参与！

花齐空

孪对是"......不失一般性互同向两筛剩中的一个具体且特殊的结果，非空......"，在拙作<<2=1+?......>>中有论证。