import std.stdio, std.algorithm, std.range, std.format, std.numeric, std.string, std.conv, std.array;

void main() {
    long n, k;
    readf("%d %d\n", &n, &k);
    // 1 <= a, b <= n
    // a % b >= k
    size_t count = 0;
    foreach (a; 1 .. n + 1) {
        foreach (b; 1 .. n + 1) {
            if (a % b >= k) {
                ++count;
            }
        }
    }
    writeln(count);
}
