main :: IO ()
main =
  getInt >>= (\a -> return [1 .. a])
    >>= print . sum >> putStrLn ""
  where
    getInt = read <$> getLine :: IO Int