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