#include using namespace std; #define REP(i,a,n) for(int i=(a); i<(int)(n); i++) #define rep(i,n) REP(i,0,n) #define FOR(it,c) for(__typeof((c).begin()) it=(c).begin(); it!=(c).end(); ++it) #define ALLOF(c) (c).begin(), (c).end() typedef long long ll; typedef unsigned long long ull; class BIT{ static const int MAX_N = 1 << 21; int n; vector bit; public: BIT(int n_):bit(MAX_N+1){ n = n_; for(int i=0; i0){ s+=bit[i]; i-=i&(-i); } return s; } void add(int i, int x){ while(i<=n){ bit[i]+=x; i+=i&(-i); } } }; class Bignum{ public: Bignum(){} Bignum(string s){ for(int i=0;i=0;i--){ if(d[i]!=0) break; d.pop_back(); } return *this; } int operator[](int i){ return i>=d.size()?0:d[i]; } int size(){ return normalize(),d.size(); } void toZero(){ d.clear(); d.push_front(0); } void toOne(){ d.clear(); d.push_front(1); } Bignum &inc(){ Bignum one("1"); return operator+=(one); } Bignum &operator+=(Bignum n){ int l=max(size(),n.size()); d.resize(l+1,0); for(int c=0,i=0;i<=l;i++) d[i]=(c=d[i]+n[i]+c/10)%10; return normalize(); } Bignum &operator-=(Bignum n){ //assert(size()>=n.size()); for(int c=0,i=0;i=0;i--) d[i]=(c=c%n*10+d[i])/n; return c%n; } Bignum &operator<<=(int n){ for(int i=0;i(Bignum n){ if(size()!=n.size()) return size()>n.size(); for(int i=size()-1;i>=0;i--) if(d[i]!=n[i]) return d[i]>n[i]; return false; } deque d; }; ostream &operator<<(ostream &os, const Bignum &l) { Bignum n=l; if (n.size()==0) os<<0; else for (int i=n.d.size()-1;i>=0;i--) os<> N; vector v; rep(i,N){ int p; cin >> p; v.push_back(p); } BIT bit(1<<20); Bignum ret("1"); Bignum p("1"); for(int i=N-1; i>=0; i--){ ull num = bit.sum(v[i]); ret += p * num; p *= N-i; bit.add(v[i], 1); } cout << ret << endl; return 0; }