RT，本MnZn想针对这道题的一种O（n）做法提出疑问：

知乎上（包括我两位学长）都使用了这样一种做法：

如果$k$满足条件，那么$k <= cnt[i] - i + 1$

这个结论感性理解上是显然的，有没有哪位巨佬能够写一下严谨的数学证明过程？