#include<iostream>
using namespace std;
int main()
{
	__int64 k,n;
	scanf("%I64d %I64d",&n,&k);
	if(n<100){
		int sum=0;
		for(int i=2; i<=n;i++)
			sum += k%i;
		printf("%d\n",sum);
	}
	else{
		int i,t;
		__int64 sum=0;
		if(n>k){
			sum =((n-k)*k);
			n = k;
		}
		for(i=2;i*3<n;i++)
			if(n>k/i)
			{
				t = k/i;
				sum += __int64(k%(t+1)+k%n)*(n-t)/2;
				n = t;
		}
		for(i=2;i<=n;i++)
			sum += __int64(k%i);
		printf("%I64d\n",sum);
	}
	return 0;
}