Frankl's binomial norm conjecture for intersecting-union families
Frankl's conjecture. For every IU-family F⊆2[n]\mathcal F\subseteq 2^{[n]}F⊆2[n],