CF1736C2 Good Subarrays (Hard Version)

设 \(c_i = \max(i - a_i + 1, 1)\)，\(p_i\) 为 \(\le i\) 的 \(j\) 中 \(c_j\) 最大的 \(j\) 的值。

那么答案即为 \(\frac{n(n + 1)}{2} + n - \sum p_i\)，单点修改使用单侧递归线段树即可。