Evidence for Erdős and Szabados (1978)

../

verify/: Links the diagonal, late-proof, full-chain and publication reviews of 2026-09-06.

---

The verification records retain the four independent reviews of 2026-09-06: the diagonal companion, the endpoint and harmonic companion, the composed full chain with $c_3=1/256$, and the exact publication successor. All are conditional on the Bernstein, Markov and Erdős--Turán interfaces, whose proofs are not reviewed here.

Extracts reproducing the paper's text are not held, since no license on record permits redistribution.