N = gets.to_i
ans = N * (N + 1) / 2
puts ans