import Control.Applicative ((<$>)) main :: IO () main = solve <$> readLn >>= print solve :: Int -> Int solve n = n ^ 2 `div` 4 + n