main = readLn >>= print . sum . enumFromTo 1