; 自然数 1 から n までの和は n * (n + 1) / 2 で求まる
(defun main (&rest argv)
  (declare (ignorable argv))
  (let* ((n (read))
         (ans (floor (* n (1+ n)) 2)))
    (princ ans)
    (terpri)))
(main)