N=gets.to_i

result = 0

N.times do |i|
	result += i + 1
end

puts result