Skip to main content
3 of 4
added 157 characters in body

Remember that $$\left(\sum_{i=1}^na_i^x\right)^y\ge\left(\sum_{i=1}^na_i^y\right)^x$$ iff $$\left(\sum_{i=1}^na_i^x\right)^{1/x}\ge\left(\sum_{i=1}^na_i^y\right)^{1/y}$$ by taking $xy$-th root. So we just need to show the $x$-norm of $\{a_i\}_{1\le i\le n}$ is ≥ the $y$-norm of $\{a_i\}_{1\le i\le n}$. Also $x\le y$ so some facts about $p$-norms show that the second inequality is true.