Entropy bound for a union-closed family
= Entropy bound for a union-closed family
Every finite <union-closed family> other than $\{\varnothing\}$ has an element belonging to at least
$$
\frac{3-\sqrt5}{2}
$$
of its members. The proof applies the <binary entropy product inequality> coordinate by coordinate to the union of two independent uniform members of the family.