n = get.to_i
puts [1...n].sum