module Main where

main :: IO ()
main = print . (\ n -> n * (n+1) `div` 2) =<< getInt

getInt :: IO Int
getInt = read <$> getLine