AT_arc207_a [ARC207A] Affinity for Artifacts

求有多少 \(a\) 重排之后的 \(b\) 满足 \(\sum_{i = 1}^n \max(b_i - i + 1, 0) \le X\)。