N = gets.to_i
i = 1
ans = 0
while i <= N do
    ans += i
    i += 1
    if i == N + 1
        puts ans
    end
end