The Erdős Matching Conjecture for 4-uniform hypergraphs

We prove the Erdős Matching Conjecture for $4$-uniform hypergraphs for every matching number $s\ge6004$. Specifically, for integers $s\ge 6004$ and $n\ge 4s+4$, if a $n$-vertex 4-uniform hypergraph $\mathcal F$ does not contain a matching of size $s+1$, then \[ |\mathcal F|\le \max\left\{\binom{