import std.stdio;
import std.string;
import std.conv;

void main()
{
	auto input = split( readln() );
	int N = to!int(input[0]), K = to!int(input[1]);
	
	int cnt = 0;
	int b = K+1;
	int q = 0; int r = K;
	while (b <= N) {
		r = K;
		while ( r < b ) {
			q = 0;
			while ( b*q + r <= N ) {
				//writeln(b*q + r , " = ", b, "*",  q, " + ", r);
				if (b*q + r > 0) { cnt += 1; }
				q += 1;
			}
			r += 1;
		}
		b += 1;
	}
	
	writeln(cnt);
}