#include<bits/stdc++.h>
#include<atcoder/maxflow>
using namespace atcoder;
using namespace std;
using ll=long long;

int main(){
    ll N,M;
    cin>>N>>M;
    
    vector<ll> AN(N+1,0);
    for(ll i=1;i<=M;i++){
        for(ll j=i;j<=N;j+=i){
            AN[j]-=i;
        }
    }
    ll an=M+AN[1];
    for(ll x=2;x<=N;x++){
        AN[x]+=AN[x-1];
        an=max(an,x*M+AN[x]);
    }
    cout<<an<<endl;
}