#include<bits/stdc++.h>
using namespace std;

int main()
{
	long long n,k;scanf("%d%d",&n,&k);
	long long l=1,r,res=n*k;
	while(l<=n)
	{
		if(k/l)r=min(k/(k/l),n);
		else r=n;
		res-=(k/l)*(r-l+1)*(l+r)/2;
		l=r+1;
	}
	printf("%lld",res);
	return 0;
}

RT