#include<bits/stdc++.h>
using namespace std;
long long n,k;
long long l=1,r,ans;
int main(){
	cin>>n>>k;
    while(l<=n){
    	r=min(n,k/(k/l));
    	long long sum=(l+r)*(r-l+1)/2;
        ans+=(k/l)*sum;
        l=r+1;
	}
	cout<<n*k-ans;
	return 0;
}

救救我