非 1 奇数 n 附近素数分布的下限定理：
设 n 为非 1 奇数，k1、k2 为符合下列条件的正整数：
1≤ k1＜k2 ≤ n + 4
则：在 k1 n 与 k2 n 之间必存在至少 k2–k1 个素数。