(defn sumToN [n]
  (long (* n (+ n 1) 0.5)))

(println (sumToN (read-string (read-line))))