有 n 个数 a1,a2,…,an，对于其中的两个数字 x,y，如果满足 x 出现的位置在 y 出现的位置前面并且 x 比 y 大，则称 (x,y) 为数组 a 的一个逆序对。请问数组 a 的逆序对一共有多少个。形式化的说，请求出有多少组 (i,j) 满足 i<j 并且 ai>aj。 输入格式 第一行一个整数 n。 接下来一行 n 个整数，a1,a2,…,an。 输出格式 一个数，表示答案。 样例输入 4 4 2 3 1 样例输出 5

我们可以使用归并排序的思想来解决这个问题。在归并排序的过程中，每当将一个数从右边的序列移到左边的序列时，我们就找到了一个逆序对。

具体的算法如下：

1. 定义一个函数 mergeSort，接收数组 a 和两个整数 l、r，表示对数组 a 的[l,r]区间进行归并排序。函数返回该区间内的逆序对个数。
2. 如果 l=r，表示区间内只有一个数，逆序对个数为 0，直接返回。
3. 将区间一分为二，分别对左右两个区间调用 mergeSort 函数进行递归排序，并将返回的逆序对个数累加到 res 变量中。
4. 将排好序的左右两个区间进行合并，合并的过程中统计逆序对个数。定义两个指针 i 和 j 分别指向左右两个区间的开头，如果 a[i]>a[j]，表示存在逆序对，逆序对个数加上右区间剩余的长度 i-l+1，并将 a[i] 加入临时数组 tmp 中。否则将 a[j] 加入 tmp 中。
5. 将剩余的元素加入 tmp 中。
6. 将 tmp 中的元素复制回原数组 a[l,r] 区间。
7. 返回逆序对个数 res。

最后，我们调用 mergeSort 函数，传入数组 a、和数组的起始和结束位置 1 和 n，即可得到答案。

下面是具体的实现代码：