证明formula_14、formula_15时，而且有，其中两个质数分别是4的倍数加1，4的倍数减1。根据质数定理，formula_11和formula_12之间的质数数目是formula_18。
证明.证明的方法是运用反证法，反设定理不成立，然后用两种方法估计formula_19的上下界，得出矛盾的不等式註：下面的证明中，都假设formula_2属于质数集。
不等式1.这条不等式是关于formula_19的下界的。证明 ：Secti