Sum of integers below 823