{-# OPTIONS_GHC -O #-}

import Data.List
import Control.Monad

main=do
    n<-readLn
    [d,x]<-map read.words<$>getLine::IO[Int]
    as<-replicateM n readLn::IO[Int]
    print $ (+) x $ sum $ map (\a -> length [1,(a+1)..d]) as