(let [n (read-string (read-line))]
    (println (str (long (* n (inc n) 0.5)))))