Definition:Infinite Summation