(import
  (scheme base)
  (scheme read)
  (scheme write)
)

(define yuki0480
  (let* ((n (read)))
    (display (/ (* n (+ n 1)) 2))
    (newline)
  )
)

(yuki0480)