I recently found the following inequalities useful:

,

for any .

To prove the left half simply apply AM-GM to the product

.

The right half follows directly from Hölder’s inequality.

More generally, one has

for . The proof goes similarly.

One obtains similar inequalities for any number of vectors .

As an example, for we get the inequalities

using the fact that from above.