第八十七章 证毕（1/5）

“那么，将式2代入后进行变换，然后再……”

林晓进行着自己的最后几步，直到最后，他的眉头微微一抬，看着自己得出的最终结果。

&nx>fx>txx∈n+……时，梅森数的第fx/pn项是素数.

至此, 林晓的最终成果，完成了。

他成功的预测出了梅森数列的分布，并且精确到了每一项上面，除此之外，他也证明了，存在无穷多个梅森素数, 因为x属于所有正整数集合，而显然正整数是无穷多个的，那么梅森素数也就存在无穷多个。

而通过他最终得到这个关系式, 如今的人们只要将已知的所有素数代入进去，就能够轻松地判断，它是否是梅森素数。

当然，这样说起来看似没有什么意义，毕竟我们依然受限于最大的素数，而当前发现的最大素数，也正是所发现的最大梅森素数，于2017年12月26日发现，为2772329171，按照十进制计算的时候, 它足足有将近两千三百多万位数。

然而道理并不是这样说的, 因为我们仍不能确定, 我们所发现的最大梅森素数和第二大梅森素数之间，有没有一个, 甚至是两个漏网之鱼, 同理，我们也不能保证第二大梅森素数和第三大梅森素数之间是否也有漏网之鱼。

事实上，在过去的时候, 数学家们经常发现这样的漏网之鱼，在互联网梅森素数大搜索（gips）这一数学研究志愿项目当中，人们至今所发现的51个梅森素数中，其中有不少中间的梅森素数，都是在发现了一个更大的梅森素数之后才被发现的。