main = readLn >>= print . sum . (\n -> [1..n])