#include<bits/stdc++.h>
#define INF 1000000007
using namespace std;
long long int a[55];
int main()
{
    ios::sync_with_stdio(0);
    long long int n,i,ans=1;
    cin>>n;
    for(i=1;i<=n;i++)
    {
        cin>>a[i];
    }
    sort(a+1,a+n+1);
    for(i=1;i<=n;i++)
    {
        ans*=(a[i]-i);
        ans%=INF;
    }
    cout<<ans<<endl;
}