from collections import defaultdict 
import copy

def main():
    n,k = map(int,input().split())
    dp = defaultdict(int)
    dp[1] = 1
    for x in range(2,n+1):
        p = copy.copy(dp)
        dp[x] += 1 #これを初めて選ぶ
        for val in p.keys():
            nxt = val*x
            if nxt > k: continue
            dp[nxt] += p[val]
        #print(dp)
    #print(dp)
    ans = sum(list(dp.values()))
    print(ans)


if __name__ == '__main__':
    main()