Challenge 9: an element of density at least $\tfrac12-\tfrac1{r+2}$ in every union-closed family

Initializing...

Challenge 9: an element of density at least $\tfrac12-\tfrac1{r+2}$ in every union-closed family · Prove2Me