Closed Form of Nested Summation