n,m=map(int,input().split())
d=[0]
for i in range(1,n+1):
	ans=d[-1]+m
	div=[]
	for j in range(1,int(i**0.5)+1):
		if i%j==0:
			div.append(j)
			if j!=i//j:
			    div.append(i//j)
	for j in div:
		if j<=m:
			ans-=j
	d.append(ans)
print(max(d))