TY - RPRT TI - Ramsey number $R(4, 20) \ge 252$ AU - Charlie Yu PY - 2026 UR - https://arxiv.org/abs/2608.18169 ID - 2608.18169 ER -