 Entropy bound for a union-closed family

Every finite union-closed family other than $\{\varnothing \}$ has an element belonging to at leastof its members. The proof applies the binary entropy product inequality coordinate by coordinate to the union of two independent uniform members of the family.