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.