#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=0;
    for(int x=2;x<=N;x++)
    {
        if(P[x])
        {
            for(int y=x;y<=N;y+=y)P[y]=false;
            long sum=0;
            for(int i=1;i<=M;i++)sum+=(x%i);
            ans=max(ans,sum);
        }
    }
    cout<<ans<<endl;
}