Sum of integers below 725