Claims

../

2025_09_21_koishichan: A family of at most c 2^n sets of size n has, for large n, a positive proportion of subsets of its union meeting every member and containing none; proved in the site's comment thread and credited by the site's curator.

---