Sum of integers below 753