(defvar N)
(setq N (read-line))
(setq N (parse-integer N))
(format 't "~d~%" (/ (* N (+ N 1)) 2))