偶数的哥猜拆分素数和对下限公式及程序

ysr

1，绝对下限公式：设偶数X其方根为M=X^(1/2),c=M/lnM,则绝对下限为c-1.
2，下限公式：设d=c/(ln(16*c)+1),则当偶数大于等于150时下限为：s=c*d-1.
3，下限公式：当偶数大于等于484时，则下限公式为：s=c*(c/ln(4*c)-1)-1.

代码如下（代码是把前3个公式结合起来的，当大于等于484时结果都是第3个公式的计算值）：

Private Sub Command1_Click() 'gedebahhesushuhedui oushude xiaxian ???
Dim a, b, c, d
a = Val(Text1)
b = Sqr(a)
c = b / Log(b)
d = c / (Log(16 * c) + 1)
If a <= 150 Then
Text2 = "偶数 " & a & "拆分个数绝对下限  " & c - 1
Else
If a <= 484 Then
Text2 = "偶数 " & a & "拆分个数下限   " & c * d-1
Else
Text2 = c * (c / Log(4 * c) - 1) - 1
End If
End If
End Sub

Private Sub Command2_Click()
Text1 = ""
Text2 = ""
End Sub

下面上传这个程序代码的可执行程序，欢迎使用沟通！

ysr

    上面的程序结果是理论值，虽然我证明了是下限，而公式1是绝对下限，是经过我严格证明的可靠的，其他公式也是下限，但没有经过“专家”确认的，除了第1个公式的结果，其他只能做参考，不能用来证明。
   我的公式2，3在某个大偶数之前计算结果是大于网友的公式结果的（当然不是所有网友，我不可能都见到，都验证的，有的作者标明是上限的没有验证），而在该大偶数之后却低于网友的公式结果，所以我的公式图像平滑，网友的公式图像陡峭，我的不能给其做依据，而网友的正确了反而证明我的正确，在可验证的范围都是下限，我的公式得到证明了，无法验证网友的是否正确。我有了下限公式没有必要没有职责和义务继续给网友验证，我也有上限公式，觉得没啥用，就不发了。

   下面发个某整数X内的素数个数的下限公式及程序：

1，绝对下限（欧拉公式）：当X>=3时，X内的素数个数的绝对下限为s1=X/lnX.

2,下限公式2（虽然经过我严格证明了，没有经过专家确认，只能算个经验公式）：
     当X>=200时下限为 s1=X/lnX+2*X^(1/2)/lnX.

下面发个可执行程序，是用上面两个公式结合起来的结果，即当整数大于等于200输出的是公式2的结果。

代码如下：

Private Sub Command1_Click()
Dim a, b, c, d
a = Val(Text1)
b = Sqr(a)
c = a / Log(a)
d = c + b / Log(b)
If a <= 2 Then
Text2 = "整数" & a & "内的素数个数的下限为 " & c - 1
Else
If a < 200 Then
Text2 = "整数" & a & "内的素数个数的下限为 " & c
Else
Text2 = "整数" & a & "内的素数个数的下限为 " & d
End If
End If
End Sub

Private Sub Command2_Click()
Text1 = ""
Text2 = ""
End Sub