(require '[clojure.edn :as edn])

(def n (read-line))
(def to (edn/read-string n))

(print (reduce +  (range 1 (+ 1 to))))