4. Let $S$ be a set of $n$ distinct real numbers, and $A_{s}$ be the set of all distinct averages of pairs of elements from $S$. For a given $n \geqslant 2$, what is the minimum number of elements that $A_{s}$ can have?
(1993 Putnam Competition)