Let index at least two pairs of subsets of an -element ground set, with , , and exactly when . Then
Choose a witness for each pair. The intersection conditions make these witnesses distinct and exclude from both sets belonging to every other index. For distinct , the sets and are disjoint and both lie outside the entire witness set. Consequently .
For sharpness, choose disjoint fixed sets of sizes and let the remaining points be witnesses. Put and . This construction attains equality whenever there are at least two witnesses. The two-pair hypothesis cannot be dropped: a single pair satisfies the intersection condition, but for the proposed unrestricted bound would read .

Articles by others on the same topic (0)

There are currently no matching articles.