Medium Intersection is Hard to Avoid

Let be a family of subsets of of size such that for .
Then

Proof

Remove one set from each complement pair to find a subfamily of size
such that for any we have

We apply Frankl-Wilson Theorem with and to find

Since

for , we deduce

so we conclude