Sum of integers below 423