N = gets.to_i

ans = 0
for i in 1..N do
    ans += i
end

puts ans