— so Gyárfás was right

"> f(n, 4, 5) = \frac 56 n + o(n) — so Gyárfás was right

"/> 2022 Fall Eastern Sectional Meeting
2022 Fall Eastern Sectional Meeting