main = do
  line <- getLine
  print $ sum [1..(read line)]