The asymptotic Erd{\H{o}}s--Frankl--F\"uredi cover-free conjecture

Abstract

In 1985, Erd{\H{o}}s, Frankl and F{\"u}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^2$. We confirm this conjecture by proving $T(r)\ge r^2+r+2$ for every $r\ge1$.