I am interested in the following which I believe is known:
Let $S$ be a subset of a finite group $G$ containing more than half of $G$'s elements. Then $S+S = G$.
I have been looking but can not find a reference. Does anyone know of one? Or know a nice proof?