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