The sum of the first n natural numbers