import sys
input = sys.stdin.readline
N, M = map(int, input().split())
dp = [M for i in range(N+1)]
for i in range(1, M+1):
    for j in range(i, N+1, i):
        dp[j] -= i
S = [0]
for d in dp[1:]:
    S.append(S[-1]+d)
print(max(S))