What is the sum of the first 20 positive integers?