(define n (string->number (read-line)))
(print (/ (* n (+ n 1)) 2))