嵌套循环依赖外循环时的指令计数，例如：内循环有 j = i

Question

对于以下数组：

for (int i = 0; i < k; i++) {
            count1++;
            for (int j = i; j < k; j++) {
                count2++;
            }
        }

我想知道如何计算第 3 行，如果我弄错了，可能还有第 4 行。

到目前为止我得到了什么：
第 1 行：k+1， 第 2 行：k， 第 3 行： ?, 第 4 行：k(k+1)/2