(let [(n (x->integer (read-line)))]
  (print (/ (* n (+ n 1)) 2)))