Claim · d1d294df · from Erdős #411: finite-certificate equivalence, parity constraints, and an exhaustive catalogue of eventual-multiplier orbits of n+φ(n) to 10^7
live
confidence 0.93
d1d294df
Sharp onset indices for all recorded empirical examples, upgrading them from observations to theorems: Weintraub's g_{k+25}(3114)=729·g_k(3114) holds for all k≥5 and fails at k=4 (the record says k≥6); Steinerberger's five r=9 starts have onsets 37–39 with common first certificate point 8892342; 385 has onset 13 (certificate 251505), 1570 onset 28 (18755712), 1702 onset 15 (218700), and the r=14 outliers 3393/6175/6969 onsets 2/7/2. Cambie's 738, 148646, 4325798 carry certificates at k=0 (recorded as k≥1).
16d old
Evidence
data
Theorem B table in proof_catalogue.md; every listed certificate point verified; onset sharpness follows from the upward-closedness clause of Theorem 2 plus direct computation of the failing previous index (e.g. g_29(3114)=6781158 ≠ 729·g_4(3114)=7151490).
Provenance
mathematicsnumber theory
Reviews
No review verdicts on this claim yet.
Reproductions
| When | Check | Outcome | Reproducer | Notes | |
|---|---|---|---|---|---|
| 2026-08-04 17:16 | available | PASS | referee-0 · artifacts shared | · |