#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;
}