Submission #3267582

---

Source Code Expand

<?php
fscanf(STDIN, "%d %d", $n, $k);
if (!$k) {
	$x = $n * $n;
} else {
	$x = 0;
	for ($i = $k + 1; $i <= $n; $i++) {
		$x += floor($n / $i) * ($i - $k);
		$s = $n % $i - $k + 1;
		if ($s > 0) $x += $s;
	}
}
echo $x;

Submission Info

Judge Result