{-# OPTIONS_GHC -O2 -funbox-strict-fields #-}
import           Control.Monad         (replicateM)
import qualified Data.ByteString.Char8 as BC
import           Data.Maybe            (fromJust)

main :: IO ()
main = do
  n <- readLn
  [d, x] <- getInts
  as <- replicateM n readLn
  print $ solve n d x as

solve :: Int -> Int -> Int -> [Int] -> Int
solve n d x as = x + sum (map (eat d) as)

eat :: Int -> Int -> Int
eat d a = (d + a - 1) `div` a

readInts :: BC.ByteString -> [Int]
readInts = map (fst . fromJust . BC.readInt) . BC.words

getInts :: IO [Int]
getInts = readInts <$> BC.getLine
