命题1：给定自然数No，若 Pm < No^(1/2) 为最大素数，则由最小素因子不超过 Pm 的合数，
在自然数No内形成的【连续合数链】长度D，小于等于2P(m-1)。
证明：
设 素数 Pi 满足：2 ≤ Pi ≤ P(m-2)；
根据素数的形成规律，由素数序列 2，3，5，……，P(m-2) 的倍数 n(Pi) 共同形成的，
连续自然数长度是 D = P(m-1) - 1。在以素数连乘积 Z=∏P（2≤P≤P(m-2) 为等差中项，
在区间（ Z-P(m-1), Z+P(m-1) ) 上，都是合数（ Z ± 1 两个自然数除外）。
容易推知：当 P(m-1) | Z±1 ，Pm | Z∓1 时，区间（ Z-P(m-1), Z+P(m-1) ) 的长度，是
【最小素因子】小于等于 Pm的合数，能够构成的【最大连续合数链】。
此【最大连续合数链】的长度是： Dmax = 2 P(m-1)
证毕。
根据命题1，有
推论1：
设素数序列的第m个元素是 Pm，在长度为 2Pm 的连续自然数 数列中（包含[2Pm] -1个自然数），
至少有一个自然数的【最小素因子】大于Pm。