n = gets.to_i
ans = 0
(1..n).each do |i|
    ans += i
end
puts ans