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