import std.stdio;
import std.string;
import std.conv;
import std.algorithm;
import std.math;
import std.regex;
import std.range;

void main() {
	auto ip = readln.split.to!(ulong[]), N = ip[0], K = ip[1];

	ulong count;

	foreach(a; 1..N+1) {
		foreach(b; 1..N+1) {
			if(a%b >= K) count++;
		}
	}
	count.writeln;
}
