function Main(input) {
	input = input.split(" ").map(a => parseInt(a));
	var N = input[0];
	var K = input[1];
	
	var ans = 0;
	if(K === 0) ans = N * N;
	else
	for(var b = K + 1; b <= N; b++){
		var t = Math.floor(N / b);
		ans += (b - K) * t;
		ans += Math.max((N - t * b) - K + 1, 0);
	}
	
	console.log(ans);
}

Main(require("fs").readFileSync("/dev/stdin", "utf8"));