# Need for Reference and Name Of Inequality

Some time ago, I ran across the following inequality (if I remember rightly): $\bigg(\sum_{i=1}^{n}v_{i}^{k_{1}}\bigg)\geq n\bigg(\frac{\sum_{i=1}^{n}v_{i}^{k_{2}}}{n}\bigg)^{\frac{k_{1}}{k_{2}}}$, for $v_{1},...,v_{n}$ positive real numbers and $k_{1},k_{2}$ real numbers, with $k_{1}\geq k_{2}$. Where did it originate? Does it have a name?

A better way to formulate the inequality is to define the $\ell_p$ weighted mean of a finite list of positive numbers $a = (a_1, \ldots, a_n)$ by $$\mathfrak{M}_p(a) = \left( \frac{1}{n} \sum_{i = 1}^n a_i^p \right)^{1/p}$$ and the inequality states $$\mathfrak{M}_p \leq \mathfrak{M}_q$$ whenever $q \geq p$. It fits in the general hierarchy of inequality of means, which also includes the inequality of arithmetic and geometric means.