AtCoder Beginner Contest 209 [ C - Not Equal ] https://atcoder.jp/contests/abc209/tasks/abc209_c

abc209_c.py

'''
[問題]
https://atcoder.jp/contests/abc209/tasks/abc209_c
'''

import sys

sys.setrecursionlimit(10 ** 6)  # 再帰上限の引き上げ
input = sys.stdin.readline

INF = 2 ** 63 - 1

N = int(input())
C = list(map(int, input().split()))
C.sort()

ans = 1
for i,j in enumerate(C):
    ans = ans * (j - i) % (10**9+7)
    # 最後にまとめて余り計算はTLE
    #ans *= (j - i)

print(ans)
# 最後にまとめて余り計算はTLE
#print(ans%(10**9+7))