Real Analysis – Inequality $\left|\,x_1\,\right|+\left|\,x_2\,\right|+\cdots+\left|\,x_p\,\right|\leq\sqrt{p}\sqrt{x^2_1+x^2_2+\cdots+x^2_p}$

Question

I could use some help with proving this inequality:

$$\left|\,x_1\,\right|+\left|\,x_2\,\right|+\cdots+\left|\,x_p\,\right|\leq\sqrt{p}\sqrt{x^2_1+x^2_2+\cdots+x^2_p}$$ for all natural numbers p.

Aside from demonstrating the truth of the statement itself, apparently $\sqrt{p}$ is the smallest possible value by which the right hand side square root expression must be multiplied by in order for the statement to be true. I've tried various ways of doing this, and I've tried to steer clear of induction because I'm not sure that's what the exercise was designed for (from Bartle's Elements of Real Analysis), but the best I've been able to come up with is proving that the statement is true when the right hand side square root expression is multiplied by p, which seems pretty obvious anyway. I feel like I'm staring directly at the answer and still can't see it. Any help would be appreciated.

Answer 1

This is an application of Jensen's Inequality: $$ \left(\frac1p\sum_{k=1}^p|x_k|\right)^2\le\frac1p\sum_{k=1}^p|x_k|^2 $$ since $f(x)=x^2$ is convex.