k≥3k\ge3k≥3 のとき、kkk 番目の素数は少なくとも 2k−12k-12k−1 だから pk−1≥2k−2≥k+1p_k-1\ge2k-2\ge k+1pk−1≥2k−2≥k+1 となり、pk−1<k+1p_k-1<k+1pk−1<k+1 に反する。したがって k≤2k\le2k≤2 であり、pk<k+2≤4p_k<k+2\le4pk<k+2≤4 から pk≤3p_k\le3pk≤3 が従う。