# 包除原理の典型問題
# 解説を見てしまったが、これを解けないのはダメ。

from collections import Counter

N=int(input())
A=[int(input()) for i in range(N)]
C=Counter(A)

mod=10**9+7

DP=[0]*(N+1)
DP[0]=1

for c in C:
    if c<N:
        v=C[c]
        for i in range(N-1,-1,-1):
            DP[i+1]+=DP[i]*v
            DP[i+1]%=mod      
ANS=0
fac=1
for i in range(N+1):
    if i%2==0:
        ANS+=fac*DP[N-i]
    else:
        ANS-=fac*DP[N-i]

    fac=fac*(i+1)%mod

    ANS%=mod

if N%2==1:
    print((-ANS)%mod)
else:
    print(ANS)