main :: IO ()
main = do
  input <- readLn
  putStrLn . show $ sum [1..input]