Definition:Summation by Inequality