main = do str <- getLine
          print . sum $ take (read str :: Int) [1..]