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