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