Entropy bounds and global couplings for union-closed families

Yunjiang Jiang

We give a computer-assisted proof that every finite union-closed family containing a nonempty set has an element in at least 0.38288525 of its members. The argument combines indepe…