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

puts y