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

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    int n, m;
    cin >> n >> m;
    ll ans = 0;
    for(int i = 1; i <= m; i++){
        ans += n % i;
    }
    cout << ans << '\n';
}