自己随便口胡的，不是很严谨

比较两种情况1和2，设它们的自动提交行数分别为 $n_1 \le n_2$ ，令 $i_{x,y}$ 表示情况x迎来第y次提交的时间

考虑它们各自迎来第1次提交的时间 $i_{1,1}$ 和 $i_{2,1}$ ，显然有 $i_{1,1} \le i_{2,1}$ 。

则当情况1的时间达到 $i_{2,1}$ 时，提交题数和当前行数都大于等于情况2的，因此有 $i_{1,2} \le i_{2,2}$

归纳可知 $i_{1,y} \le i_{2,y}$，于是就有 $k_1 \ge k_2$