#include <stdio.h>
#include <string.h>

int bit[30303];

void update(int k, int v) {
  k++;
  while (k < 30303) {
    bit[k] += v;
    k += k & -k;
  }
}

int query(int k) {
  k++;
  int res = 0;
  while (k > 0) {
    res += bit[k];
    k -= k & -k;
  }
  return res;
}

int main() {
  int n;
  scanf("%d", &n);
  long long ans = 0;
  for (int i = 0; i < n; i++) {
    int m;
    scanf("%d", &m);
    ans += i - query(m);
    update(m, 1);
  }
  printf("%lld\n", ans);
  return 0;
}