在一个数组中，如果两个元素a[i]和a[j]满足i < j且a[i] > a[j]，则a[i]和a[j]是一个逆序对。

long long cnt=0;
void merge_count(vector<int>& a, int l, int m, int r){
  int i = l, j = m + 1;
  while(i <= m && j <= r) {
   if(a[i] <= a[j]) i++;
   else {
    cnt += (m - i + 1);
    j++;
   }
  }
}