30分求条

#include<bits/stdc++.h>
using namespace std;
long unsigned int n,ans=1;
int a[10000];
signed main(){
	cin>>n;
	for(int i=1;i<=n;i++){
		cin>>a[i];
	}
	sort(a+1,a+n+1);
	for(int i=1;i<=n;i++){
		ans*=(a[i]-i+1);
	}
	ans=ans%1000000007;
	cout<<ans;
	return 0;
}