Sum of all intergers up to a certain number