Proof about AM-GM inequality generalized Note: I'm not sure this type of questions are welcome on the site. In case tell me.
Let's define the $p$ mean as 
$$M_p(x_1, \dots, x_n) = \sqrt[p] { \frac 1n \sum_{i = 1}^n x_i^p}$$
for $x_1, \dots, x_n > 0$.
Your goal is to prove that 
$$\dots \le M_{-2} \le M_{-1} = \mathcal{H} \le M_0 = \mathcal{G} \le M_1 = \mathcal{A} \le M_2 = \mathcal{Q} \le M_3 \dots$$
($M_0$ should be interpreted as the geometric mean, that is $M_0 = \sqrt[n]{\prod_{i = 1}^n x_i}$. The notation is justified if we consider $p \to 0$ )
Ideally I would like to have as many proof as possible of the above, the more elegant the better. Extra points for not using any "nuclear bomb" in proving the result! 
P.S. In case it is not clear, $\mathcal{H}, \mathcal{G}, \mathcal{A}, \mathcal{Q}$ 
are respectively the harmonic, geometric, arithmetic and quadratic means.

The magic word is convexity, and there is really not much more to it. 
