Sum of integers below 172