main = do
  n <- fmap (\c -> read c ::Double) getLine
  putStrLn $ show $ floor $ (((n + 1) * n / 2))