main = readLn >>= \n -> print $ n * (n + 1) `div` 2