n=gets.to_i
i=0
j=0
while i<n
j=j+(i+1)
i=i+1
end
puts j