a=gets.to_i
puts("#{(a*(a+1))/2}\n")