#include <bits/stdc++.h>

typedef int64_t s64;
int ri() {
	int n;
	scanf("%d", &n);
	return n;
}
int64_t rll() {
	long long n;
	scanf("%lld", &n);
	return n;
}

int main() {
	int n = ri(), m = ri();
	m = std::abs(m);
	int64_t res = 0;
	for (int i = 1; i <= n; i++) {
		res += (m - 1) / i + 1;
	}
	std::cout << res << std::endl;
	return 0;
}