#include <bits/stdc++.h>
using namespace std;
int main(){
	int N, M;
	cin >> N >> M;
	long long ans = 0;
	for (int i = 1; i <= M; i++){
		ans += N % i;
	}
	cout << ans << endl;
}