The asymptotic Erd{ő}s--Frankl--Füredi cover-free conjecture

Abstract: In 1985, Erd{ő}s, Frankl and F{ü}redi conjectured that the threshold $T(r)$ for the existence of an $r$-cover-free family with more members than points satisfies $T(r)=(1+o(1))r<sup>2$. We confirm this conjecture by proving $T(r)\ge r<sup>2+r+2$ for every $r\ge1$.