codes
#include<iostream>
using namespace std;
typedef long long LL;
int main(){
int n, k;
cin>>n>>k;
LL ans = 0;
if(n > k)ans=(LL)k*(n-k), n=k-1;
for(int i = 1; i <= n; i++){
int t = k/i, r = (t?k/t:n);
if(r > n)r = n;
ans += (LL)k*(r-i+1)-(LL)t*(i+r)*(r-i+1)/2;
i = r;
}
cout<<ans<<'\n';
return 0;
}