Sum of integers below 252