With groups of sizes $x_1, x_2, \dots, x_n$ adding to $G$, the average size is _____. The chance of an individual belonging to group 1 is _____. The expected size of his or her group is $E(x) = x_1 (x_1/G)+\dots+x_n(x_n/G)$. *Prove $\sum_1^n x_i^2/G \ge G/n$.
The first blank should be $\frac Gn$. The second blank should be $\frac {x_1}G$. In the last statement of the question, I see the sum of squares and the square of sum. In common sense, the square of sum must be greater than or equal to the sum of squares because of extra terms in the former. Therefore, $G^2\ge\sum_{i=1}^nx_i^2$. But it seems that the sign reverses because of division by $n$. How do we prove that?