main = do
  n <- readLn
  putStrLn . show $ n * (n + 1) `div` 2