For odd and , an intersecting family contains at most one set from each complementary pair in the Boolean lattice. Choosing the larger member in every pair gives the displayed bound and is feasible, because all sets of size greater than intersect. For it is the unique maximizer; for other maximizing families can exist.
Articles by others on the same topic
There are currently no matching articles.