#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using P = pair<long long, long long>;
#define rep(i, a, b) for(long long i = (a); i < (b); ++i)
#define rrep(i, a, b) for(long long i = (a); i >= (b); --i)
constexpr long long inf = 4e18;
struct SetupIO {
    SetupIO() {
        ios::sync_with_stdio(0);
        cin.tie(0);
        cout << fixed << setprecision(30);
    }
} setup_io;
int main(void) {
    ll n, m;
    cin >> n >> m;
    vector<ll> res(n + 1);
    rep(i, 1, n + 1) {
        res[i] = m;
    }
    rep(i, 1, m + 1) {
        for(ll j = i; j <= n; j += i) {
            res[j] -= i;
        }
    }
    rep(i, 0, n) res[i + 1] += res[i];
    cout << *max_element(res.begin() + 1, res.end()) << '\n';
}