The formula for the sum of the first n natural numbers