Definition:Summation/Inequality/Examples