n = int(input())
arr = list(map(int,input().strip().split()))
res = 1
index = 0
arr.sort()
for i in arr:
    res *= (i -index)
    index += 1
print(res % 1000000007)