https://www.luogu.com.cn/article/9ykow1tj 这篇题解中有如下结论：

非严格递增的 $[l_i,r_i]$ 区间长度总和不超过 $22$。

这个结论本身正确，但是作者对其的证明似乎并不正确（也可能是作者没表述清楚，或者严重跳步了）

对于每一个位置 $i<n$，$[1,i]$ 和 $(i,n]$ 之间一定存在一个逆序对并不能推出序列总逆序对个数不少于 $n-1$，因为同一个逆序对可能被计入多次。

此外，文末组合数 $\binom{n-i}{j}$ 疑似为作者笔误，应为 $\binom{n-i+j}{j}$。