n=gets.to_i
i=0
j=0
n.times do
j=j+(n-i)
i=i+1
end
puts j