#include<bits/stdc++.h>
#define int long long 
using namespace std;
const int kmaxn=5000+10,mod=1e9+7;
int qr[kmaxn],ni[kmaxn];
int ksm(int x,int y){
    int w=1;
    for(int i=0;i<=30;i++){
        if(y&(1<<i))w=w*x%mod;
        x=x*x%mod;
    }
    return w;
}
int C(int x,int y){
    if(x<y||y<0)return 0;
    return qr[x]*ni[y]%mod*ni[x-y]%mod;
}
int dp[kmaxn][kmaxn],n,a[kmaxn],cnt[kmaxn];
signed main(){
//    freopen("main.in","r",stdin);
//    freopen("main.out","w",stdout);
    ios::sync_with_stdio(false);
    cin.tie(0);cout.tie(0);
    qr[0]=ni[0]=1;
    for(int i=1;i<kmaxn;i++){
        qr[i]=qr[i-1]*i%mod;
        ni[i]=ksm(qr[i],mod-2);
    }
    cin>>n;
    for(int i=1;i<=n;i++){
        cin>>a[i];a[i]++;cnt[a[i]]++;
    }
    dp[0][0]=1;
    for(int i=1;i<=n;i++){
        for(int j=0;j<i;j++){
            (dp[i][j+1]+=dp[i-1][j]*cnt[i])%=mod;
            (dp[i][j]+=dp[i-1][j])%=mod;
        }
    }
    int ans=0;
    for(int i=0,opt=1;i<=n;i++,opt=mod-opt){
        dp[n][i]=dp[n][i]*qr[n-i]%mod;
        ans=(ans+dp[n][i]*opt)%mod;
    }
    cout<<ans<<"\n";
    return 0;
}