main :: IO ()
main = do
  n <- readLn :: IO Int
  print $ n * (n + 1) `div` 2