有一网络词条说：
克拉梅尔也提出另一个关于素数的猜想，指出 ：
p_(n+1) - p_n = O(√(p_n ) ln⁡〖p_n 〗 )。
他用至今仍未证出的【黎曼猜想】来证明了此式。
这一词条阐述的客观事实，有力的支持了zhaojuyi926先生在8楼的观点！
事实上，只要证明了下面的引理，就能用初等方法给出 优于词条展示的结论：
p_(n+1) - p_n < = √(p_n 。
引理1：
设 素数连乘积 (Pi)! = 2*3*5*...*Pi ，素数Pn满足：
(Pi)! < Pn < (P(i+1))!
则相邻素数区间（Pn, P(n+1)）内，至多存在一个最小素因子是P(i+j)的合数。j > 0 。
实例1：
30 < Pn=113 < 210，区间（113，127）内：：
只有一个最小素因子是7（>5）的合数；119=7*17
只有一个最小素因子是11（>5）的合数： 121=11*11
实例2：
30 < Pn=139 < 210，区间（139，149）内：
不存在最小素因子是7（>5）的合数，
只有一个最小素因子是11（>5）的合数 143=11*13