Positive clique error of a truncated lattice meet (source code)

= Positive clique error of a truncated lattice meet
{title2=$\mathbb P(K_Z\in\delta_\wedge)\leq4q^{\ell/2},\quad q=\ell rm/n\leq1/2$}

Choose a uniform $m$-subset $Z$ and the <graph> consisting only of its <clique>. Acceptance by two approximating <set families> but rejection by their intersection requires two minimal witnesses whose union has size greater than $\ell$. At least one has size greater than $\ell/2$. The <sunflower bound for minimal members of a Razborov-closed family> and $\mathbb P(W\subseteq Z)\leq(m/n)^{|W|}$ give $2\sum_{s>\ell/2}s!(r-1)^s(m/n)^s\leq4q^{\ell/2}$.