Finite experiments

../

binomial_gcd_search/: Exact finite checks of the common-prime threshold for binomial coefficients, distinguishing the erdosproblems.com inequality from four strict-variant exceptions.

---

These experiments inspect explicitly bounded mathematical domains. Their owning pages state the exact question, observed results, inputs, commands, and verification limits. A finite result does not imply an unbounded theorem without a separate mathematical reduction.