#include<bits/stdc++.h>
using namespace std;
int main()
{
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    int N,M;
    cin>>N>>M;
    vector<bool>P(N+1,true);
    long ans=M-1;
    long cur=1;
    for(int x=2;x<=N;x++)
    {
        if(x<=M)cur+=x;
        for(int a=1;a*a<=x;a++)
        {
            if(x%a==0)
            {
                if(a<=M)cur-=a;
                if(x/a!=a&&x/a<=M)cur-=x/a;
            }
        }
        // cout<<x<<' '<<cur<<endl;
        ans=max(ans,cur+(M>x?long(M-x)*x:0L));
        cur+=min(x,M);
    }
    cout<<ans<<endl;
}