#include <stdio.h>
int main() {
long long n = 0;
long long k = 0;
long long count = 0;
while (scanf("%lld %lld", &n, &k) != EOF) { // 注意 while 处理多个 case
if (k == 0)
{
printf("%lld", n * n);
}
else
{
for (long i = k + 1; i <= n; i++)
{
count += (n / i) * (i - k);
if (n % i >= k)
{
count += (n % i) - k + 1;
}
}
printf("%lld", count);
}
}
return 0;
}



京公网安备 11010502036488号