Sum of integers below 872