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

int main(){
    int N,M;
    cin>>N>>M;
    clock_t start=clock(),end=clock();
    ll an=0,id=0;
    while(double(end-start)/CLOCKS_PER_SEC<2.7){
        ll res=0;
        for(int i=1;i<=M;i++){
            res+=N%i;
        }
        if(an<res){
            an=max(an,res);
            id=N;
        }
        
        N--;
        if(N==0)break;
        end=clock();
    }
    cout<<an<<endl;
}