Sum of integers below 723