((lambda (n) (/ (* n (+ 1 n)) 2)) (read))