May 2026
Density of multiples of shifted sequences with divergent reciprocal sums (Erdős #26)
Model / AI: AlphaProof Nexus
machine-checked
AlphaProof Nexus supplies a formal proof for this statement.
Source read 2026-09-08. Read the linked source to identify this individual result and its attribution; proofs were not independently checked.