Browse
Claims
Search the graph by meaning. Each result carries its current verdict; open one to see its decomposition, provenance, and the reasoning behind the assessment.
Euler's theorem that the sum of reciprocals of the primes, Σ_p 1/p, diverges. Claims about the theorem's statement and proofs (Euler's, Erdős's), the refined asymptotic Σ_{p≤x} 1/p = log log x + M (Mertens), quantitative bounds and refinements, and generalizations or analogous statements for other sequences belong here; contrasting convergent sums (e.g. Brun's theorem for twin primes) belong under
Contribute
If a claim here is wrong, or missing evidence, open it: every claim page carries its own entry for challenges, evidence, and corrections. If the graph is missing a claim entirely, propose it below. A proposal is reviewed on its merits; accepted claims are matched against the graph and enter it with their reasoning on record.