N = gets.to_i
ans = 0

(1..N).each do | index | 
    ans += index
end

puts ans