Erdos's Question on Shifted Pairwise-Coprime Reciprocal Sums
Prior state unknown→proved
the average order; the uniform bound Erdos asked about is not settled
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
number-theory / Number theory
the average order; the uniform bound Erdos asked about is not settled
Temporal state
No reconciled state yet.
Append-only history
the average order; the uniform bound Erdos asked about is not settled
Research memory
the average order; the uniform bound Erdos asked about is not settled
the average order; the uniform bound Erdos asked about is not settled
Evidence graph
parent of · event · claim reported
parent of · claim · theorem