#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
#define ll long long
#define rep(i, n) for (ll i = 0; i < (ll)(n); i++)
using mint = modint998244353;
#define ull unsigned long long
random_device rnd;
mt19937 mt(rnd());
int RandInt(int a, int b) {
    return a + mt() % (b - a + 1);
}
int dx[4]={1,0,-1,0};
int dy[4]={0,1,0,-1};

ll n,m;
int main(){
    cin>>n>>m;
    ll ans=0;
    rep(i,n){
        ll tmp=0;
        rep(j,m){
            ll val=(n)%(j+1);
            if(val==n){
                tmp+=val*(m-j);
                break;
            }else{
                tmp+=val;
            }
            //cerr<<val<<" ";
        }
        //cerr<<endl;
        cerr<<tmp<<endl;
        ans=max(ans,tmp);
    }
    cout<<ans<<endl;
    return 0;
}