holder inequality for sequences