MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

For a function $f=f(x_1,x_2,\dots,x_n):\mathbb R^n\to\mathbb R$ let $Pf(x_1,x_2,\dots,x_n)$ denote the sum of $f$ over the $n!$ quantities that result from all possible $n!$ permutations of the $x_i$. Then $$\frac{x_1^n+x_2^n+\dots+x_n^n}{n}-x_1x_2\dots x_n=\frac{1}{2\ n!}(\phi_1+\phi_2+ \dots \phi_n),$$ where $$\phi_k=P[(x_1^{n-k}-x_2^{n-k})(x_1-x_2)x_3x_4\dots x_{k+1}]$$ $$=P[(x_1-x_2)^2(x_1^{n-k-1}+\dots x_2^{n-k-1})x_3x_4\dots x_{k+1}]\geq0.$$ The proof dates back to Hurwitz.