編程題代碼解釋

正整數對（x，y）,x,y都小于等于n,x/y的余數大于等于k，輸入為n,k,輸出有多少個，比如輸入5 2,輸出為7, 對數分別為（2，3）(2,4)(2,5)(3,4)(3,5)(4,5)(5,3),代碼如下:

import java.util.Scanner;

public class Main {

    public static void main(String[] args) {        
        Scanner scanner = new Scanner(System.in);
        int n = scanner.nextInt();
        int k = scanner.nextInt();
        System.out.println(searchCount(n, k));
    }
    public static int searchCount(int n, int k) {
        int count = 0;  //記錄找到的整數對個數
        int temp;

        //思路：固定y，找x

        for (int y = k + 1; y <= n; y++) {    //  x%y>=k,說明y>k
            // 假設n = a*y +b；在每個長度為y的區(qū)間里只有（y-k）個數模y余數>=k。

            count += n/y*(y-k);    

            temp = n%y;
            if(temp >= k) {                    //再考慮余數b是否>=k
                count += temp-k+1;
            }
        }        
        return count;
    }
}

為什么x%y>=k,就能推斷出說明y>k？count += n/y*(y-k)和count += temp-k+1這兩句結合為什么就能夠求出最終個數？