Claims

../

2013_10_10_wood: For every t a triangle-free 2-degenerate t-uniform hypergraph with chromatic number 3 has fewer than 2|X| edges inside every nonempty X, so no valid constant reaches 2; credited by the site as the counterexample, not refereed.

2025_12_04_koishichan: For every t a (t+1)-uniform hypergraph without property B has at most 2|X| edges inside every vertex set X, so no valid constant exceeds 2 and the sequence c_t cannot tend to infinity; accepted by the site, third-party Lean.

---