学步园

#include<bits/stdc++.h>
using namespace std;
long long ans;
int n,k,r; 
int main(){
	cin>>n>>k;
	if(n>k)ans=(long long)(n-k)*k,n=k;
	for(int i=1;i<=n;i=r+1){
		int t=k/i;r=k/t;
        if(r>=n)r=n;
        ans+=(long long)(r-i+1)*k-(long long)(r-i+1)*(i+r)/2*t;
	}
	cout<<ans<<endl;
	return 0;
}