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