(let ((N (read))
      )

  (print (truncate->exact (/ (* N (+ N 1)) 2)))
  )