#include <bits/stdc++.h>
using namespace std;
int main() {
    std::ios_base::sync_with_stdio(false);
    std::cin.tie(nullptr);
    int n, m;
    cin >> n >> m;
    long long ans = 0;
    long long base = 0;
    for (int x = 1; x <= n; x++) {
        base += m;
        long long sum = 0;
        long long end = min(m, x);
        for (long long l = 1; l <= end;) {
            long long v = x / l;
            long long r = x / v;
            r = r < m ? r : m;
            long long t = (l + r) * (r - l + 1) / 2;
            sum += t * v;
            l = r + 1;
        }
        if (ans + sum < base) ans = base - sum;
    }
    cout << ans << "\n";
}