fun main(args: Array<String>) {
    val (n, k) = readLine()!!.split(" ").map { it.toLong() }

    // a, b <= n && a % b >= k

    fun 特定の割る数に対してすべての余りを考慮できる場合(divisor: Long): Long {

        var patternNum = n / divisor
        var restSetNum = divisor - k

        return patternNum * restSetNum
    }

    fun 特定の割る数に対して上限Nの関係で一部の余りしか考慮できない場合(divisor: Long): Long {

        var num: Long

        if (k != 0L) {
            num = n % divisor - (k - 1)
        } else {
            num = n % divisor
        }

        return if (num < 0) 0 else num
    }

    var count = 0L

    for (i in (k + 1)..n) {
        // 割る数を k ~ n に変えていったときの数を算出
        // 最後の一つ手前まで + 最後余ったところ
        count += 特定の割る数に対してすべての余りを考慮できる場合(i) + 特定の割る数に対して上限Nの関係で一部の余りしか考慮できない場合(i)
    }

    print(count)
}

// 考慮するべきケース
// k = 0 の場合 -> OK
// n = 1 の場合 -> OK
// 結果が Int に収まらないケース !! 