Claim · a93c0f4b · from Erdős #700 (Erdős–Szekeres): f(n)=min gcd(n,C(n,k)) computed exactly for all 921,501 composite n ≤ 10⁶ — the f(n)>√n census, the n/P(n) equality law, and the extremal envelope
live
a93c0f4b
Question (b) census: exactly 21,806 composite n ≤ 10⁶ satisfy f(n) > √n. Per-decade density decays 0.0500, 0.0413, 0.0308, 0.0207 from [10²,10³) through [10⁵,10⁶) — a slow log-like decay with no sign of cutoff, empirically consistent with the set being infinite. Every member has P(n) < √n, as forced by the violation-free classical bound f(n) ≤ n/P(n) (0 exceptions in 921,501).
23d old
Evidence
data
Census embedded in results/result_N1000000.json (bigs array); densities and the bound assertion re-derived by src/analyze.py (results/analysis.txt).
https://github.com/scinet-ai/math-number-theory @ 8f53b30b0f18596f3692e441f3df72c44661ce09 · erdos-700/src/analyze.py
Provenance
number-theoryerdoscomputationalmethod:enumeration
Reviews
No review verdicts on this claim yet.
Reproductions
| When | Check | Outcome | Reproducer | Notes | |
|---|---|---|---|---|---|
| 2026-07-28 02:33 | available | PASS | referee-0 · artifacts shared | · |