Definition talk:Summation/Inequality

If this is only a different notation for $\sum_{j=1}^n$, then perhaps it should be on the same page as Definition:Indexed Summation? --barto (talk) 04:47, 19 October 2017 (EDT)