n = gets.to_i
sum = 0
for i in 0..n
    sum += i
end
puts sum