import sys
input = sys.stdin.readline
N, M = map(int, input().split())
ans = 0
for i in range(1, N+1):
    tmp = i*(M-i)
    for j in range(1, i):
        tmp += i%j
    ans = max(ans, tmp)
print(ans)