x = gets().map(&:to_i)
y = 0
for i in 1..x do 
    y = y + i    
end

puts y.to_s