Holders_Inequality_for_Sums