(let ((N (read))
      )

  (print (/ (* N (+ N 1)) 2))
  )