#include<bits/stdc++.h>
using namespace std;
long long n,l=1,r,k,sum;
int main()
{
	scanf("%lld%lld",&n,&k);
	while(l<=k)
	{
		long long t=k/l;
		r=k/t;
		sum+=(r-l+1)*k-t*(l+r)*(r-l+1)/2;
		l=r+1;
	}
	sum+=(n-k)*k;
	printf("%lld",sum);
	return 0;
 }