import Debug.Trace
import Data.List

main :: IO ()
main = do
  [n, k] <- (map read . words) <$> getLine :: IO [Int]
  print $ sum $ map (subtotal n k) [k + 1 .. n]

subtotal n k b =
  foldl' (\acc q ->   let d = if k == 0 && q == 0 then 0 else 1 in acc + ((n - q) `div` b + d)) 0 [k .. b - 1]
