5.2. 命题 1+7

现在设 为偶数, 并定义:

则根据 Dirichlet 素数定理可知:

利用 Bombieri–Vinogradov 定理和引理 (2.3.3), 可以发现当 时:

因为 时:

另一方面当 时:

所以根据定理 2.4.1, 我们知道当 表示 中不能被 素数整除的整数个数时有

(5.2.1)

通过在 (5.2.1) 中选取不同的 , 我们就能得到下面两个结论:

定理 5.2.0.1. 对于每个固定的正整数 , 存在无穷个素数 使 的素因子个数不超过 7.

定理 5.2.0.2 (1+7). 每个大偶数都是一个素数和一个不超过 7 个素数的乘积之和.