files / problems / landau-n2-plus-1 / compute / q2 / n2p1.json
{
"n_max": 10000000,
"count_prime": 456362,
"count_p2_omega_eq_2_composite": 1334083,
"count_iwaniec_p2": 1790445,
"count_omega_le2_composite_diagnostic": 1421501,
"unsplit": 0,
"omega_hist": {
"1": 456362,
"2": 1334083,
"3": 1590647,
"4": 1041493,
"5": 425651,
"6": 120548,
"7": 25585,
"8": 4724,
"9": 747,
"10": 139,
"11": 18,
"12": 4
},
"first_prime_n": [
1,
2,
4,
6,
10,
14,
16,
20,
24,
26,
36,
40,
54,
56,
66,
74,
84,
90,
94,
110,
116,
120,
124,
126,
130,
134,
146,
150,
156,
160
],
"first_prime_values": [
2,
5,
17,
37,
101,
197,
257,
401,
577,
677,
1297,
1601,
2917,
3137,
4357,
5477,
7057,
8101,
8837,
12101,
13457,
14401,
15377,
15877,
16901,
17957,
21317,
22501,
24337,
25601
],
"last_prime_n": [
9999796,
9999810,
9999814,
9999864,
9999870,
9999890,
9999926,
9999960
],
"last_prime_values": [
99995920041617,
99996200036101,
99996280034597,
99997280018497,
99997400016901,
99997800012101,
99998520005477,
99999200001601
],
"first_p2_n": [
8,
12,
22,
28,
30,
34,
42,
44,
46,
48,
50,
52
],
"C_q_published": 1.372813462818246,
"C_q_truncated_product": 1.3727410102495463,
"bateman_horn_integral": 332462.8855200837,
"bateman_horn_prediction": 456409.5251293722,
"wolf_li_prediction": 456404.5400175865,
"prime_over_bh": 0.9998958717407164,
"prime_over_wolf_li": 0.9999067931761045,
"iwaniec_shape_N_over_logN_3_2": 154535.90752835674,
"wolf_A083844": [
{
"x": 1000000,
"pi_q": 112,
"wolf": 112,
"match": true
},
{
"x": 10000000,
"pi_q": 316,
"wolf": 316,
"match": true
},
{
"x": 100000000,
"pi_q": 841,
"wolf": 841,
"match": true
},
{
"x": 1000000000,
"pi_q": 2378,
"wolf": 2378,
"match": true
},
{
"x": 10000000000,
"pi_q": 6656,
"wolf": 6656,
"match": true
},
{
"x": 100000000000,
"pi_q": 18822,
"wolf": 18822,
"match": true
},
{
"x": 1000000000000,
"pi_q": 54110,
"wolf": 54110,
"match": true
},
{
"x": 10000000000000,
"pi_q": 156081,
"wolf": 156081,
"match": true
},
{
"x": 100000000000000,
"pi_q": 456362,
"wolf": 456362,
"match": true
}
],
"seconds_sieve": 0.689969803,
"seconds_classify": 14.064709393,
"rss_kb": 55832,
"producer": "sieve_n2p1.c",
"note": "prime_n: n=1 and even n with n^2+1 prime by deterministic MR (bases 2,3,5,7,11,13,17,19,23; OEIS A014233). Iwaniec P2 means \u03a9(n^2+1)<=2 (multiplicity). n^2+1 is never a square for n>=1, so \u03a9=2 means a product of two primes. P2 list is complete on 1<=n<=n_max. Not a proof of infinitude. Did not beat Wolf/Grantham published complete lists.",
"prime_n_txt": "prime_n.txt",
"p2_txt": "p2_omega2.txt",
"prime_n_sha256": "31207a4a146e862e3a55882a8395b94567d8cc49292a935df7624ac915011409",
"p2_sha256": "aa7f83c18bbe68419888212bb6e1fe7b5787949e6084a553bdc9d03bbcd56f5a",
"prime_n_bytes": 3589210,
"p2_bytes": 31970643,
"comparison_rows": [
{
"N": 1000,
"primes": 112,
"p2_composite": 231,
"iwaniec_p2": 343,
"bateman_horn": 121.09238862199471,
"wolf_li": 121.98341923839355,
"prime_over_bh": 0.9249136240067263,
"prime_over_wolf_li": 0.9181575717361813,
"iwaniec_p2_over_shape": 6.227296369707089
},
{
"N": 2000,
"primes": 209,
"p2_composite": 432,
"iwaniec_p2": 641,
"bateman_horn": 215.26710716579132,
"wolf_li": 216.15814042479738,
"prime_over_bh": 0.9708868333471653,
"prime_over_wolf_li": 0.9668847057495494,
"iwaniec_p2_over_shape": 6.716233287953214
},
{
"N": 5000,
"primes": 472,
"p2_composite": 986,
"iwaniec_p2": 1458,
"bateman_horn": 468.8748991341213,
"wolf_li": 469.76592937624656,
"prime_over_bh": 1.0066651059198304,
"prime_over_wolf_li": 1.0047557102038451,
"iwaniec_p2_over_shape": 7.248235026139136
},
{
"N": 10000,
"primes": 841,
"p2_composite": 1916,
"iwaniec_p2": 2757,
"bateman_horn": 854.5369135570216,
"wolf_li": 855.4279276834449,
"prime_over_bh": 0.984158772614428,
"prime_over_wolf_li": 0.9831336723801891,
"iwaniec_p2_over_shape": 7.706377621711199
},
{
"N": 20000,
"primes": 1559,
"p2_composite": 3659,
"iwaniec_p2": 5218,
"bateman_horn": 1570.1000911197104,
"wolf_li": 1570.9910392048296,
"prime_over_bh": 0.9929303289755277,
"prime_over_wolf_li": 0.9923672134941655,
"iwaniec_p2_over_shape": 8.131231376129938
},
{
"N": 50000,
"primes": 3613,
"p2_composite": 8516,
"iwaniec_p2": 12129,
"bateman_horn": 3545.5329465237646,
"wolf_li": 3546.4234313374013,
"prime_over_bh": 1.0190287481441638,
"prime_over_wolf_li": 1.0187728763785806,
"iwaniec_p2_over_shape": 8.633413336750118
},
{
"N": 100000,
"primes": 6656,
"p2_composite": 16470,
"iwaniec_p2": 23126,
"bateman_horn": 6609.147841020791,
"wolf_li": 6610.036674936114,
"prime_over_bh": 1.0070889863725567,
"prime_over_wolf_li": 1.0069535658157798,
"iwaniec_p2_over_shape": 9.03397867083565
},
{
"N": 200000,
"primes": 12391,
"p2_composite": 31953,
"iwaniec_p2": 44344,
"bateman_horn": 12379.256248571262,
"wolf_li": 12380.138538946581,
"prime_over_bh": 1.000948663731724,
"prime_over_wolf_li": 1.0008773295241609,
"iwaniec_p2_over_shape": 9.455158108331851
},
{
"N": 500000,
"primes": 28563,
"p2_composite": 76325,
"iwaniec_p2": 104888,
"bateman_horn": 28558.068944516494,
"wolf_li": 28558.907646389926,
"prime_over_bh": 1.0001726676790748,
"prime_over_wolf_li": 1.0001432951729368,
"iwaniec_p2_over_shape": 9.971807584768825
},
{
"N": 1000000,
"primes": 54110,
"p2_composite": 147612,
"iwaniec_p2": 201722,
"bateman_horn": 53969.84739913601,
"wolf_li": 53970.54997168725,
"prime_over_bh": 1.0025968685778837,
"prime_over_wolf_li": 1.002583817070345,
"iwaniec_p2_over_shape": 10.358662276711092
},
{
"N": 2000000,
"primes": 102205,
"p2_composite": 286275,
"iwaniec_p2": 388480,
"bateman_horn": 102312.02834735205,
"wolf_li": 102312.3117942153,
"prime_over_bh": 0.9989539025950235,
"prime_over_wolf_li": 0.9989511350849823,
"iwaniec_p2_over_shape": 10.73444321730351
},
{
"N": 5000000,
"primes": 239185,
"p2_composite": 687375,
"iwaniec_p2": 926560,
"bateman_horn": 239309.09240696134,
"wolf_li": 239307.61994457498,
"prime_over_bh": 0.9994814555280235,
"prime_over_wolf_li": 0.999487605348282,
"iwaniec_p2_over_shape": 11.226364168789203
},
{
"N": 10000000,
"primes": 456362,
"p2_composite": 1334083,
"iwaniec_p2": 1790445,
"bateman_horn": 456409.5251293722,
"wolf_li": 456404.5400175865,
"prime_over_bh": 0.9998958717407164,
"prime_over_wolf_li": 0.9999067931761045,
"iwaniec_p2_over_shape": 11.585948072757526
}
],
"seconds_c_verify": 53.1,
"seconds_python_verify": 885.18,
"verify_ok": "verify_ok.json"
}