#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
int mod=1e9+7;
const int N=1e5+5;
int n,a[N],jc[N];
int cnt=0,ans=1;
int main(){
scanf("%d",&n);
jc[1]=1;
for(int i=2;i<=n;i++)jc[i]=1ll*i*jc[i-1]%mod;
for(int i=1;i<=n;i++) scanf("%d",&a[i]);
sort(a+1,a+n+1);
for(int i=1;i<=n;i++){
if(a[i]>=2*cnt+1) cnt++;
else{
ans=1ll*(cnt+1)*ans%mod;
}
}
ans=1ll*jc[cnt]*ans%mod;
printf("%d",ans);
}
wxh-a
最新推荐文章于 2024-04-22 22:19:16 发布