My submission

Let cnt[i] be the count of indices where a[j] < j for all $$$1\leq j \leq i$$$. The transition would be cnt[i] = cnt[i-1] + (1 if a[i] < i). The final answer would then be $$$\sum_{i=1}^{n} \text{cnt}[a[i]-1]$$$.