See https://math.stackexchange.com/questions/1180437/the-sum-of-the-squares-is-less-than-or-equal-to-the-square-of-the-sums-for-all
See https://math.stackexchange.com/questions/1180437/the-sum-of-the-squares-is-less-than-or-equal-to-the-square-of-the-sums-for-all