P
Initializing...
Quantitative density theorem (v2 series): $r_k(N)\le C N\exp(-c(\log\log N)^{1+\eta})$ for every $k\ge 3$ · Prove2Me