from collections import defaultdict

N, K = map(int, input().split())
dp = defaultdict(int)
dp[1] = 1
ans = 0
for i in range(1, N + 1):
    new_dp = dp.copy()
    for k, v in dp.items():
        if i * k * (i + 1) < K:
            new_dp[i * k] += v
        elif i * k <= K:  # i以上は掛けられない
            ans += v
    dp = new_dp
print(ans + sum(dp.values()) - 1)  # 空集合除外