题目中给定的是 $a_i>a_j$，所以应该是 tr.query(n)-tr.query(a[i]) 而非 tr.query(n)-tr.query(a[i]-1)。