大概意思就是只要数列里,有任意一组i<j<z,满足a[i]>a[j]并且a[z]>a[j]即可,所以假如不满足的话,就是单峰数列,最大值在某个位置,左边单调递增,右边单调递减,总数量就是n!-2^(n-1),用快速幂加速一下,没了
ll mod_pow(ll x,ll n, ll mod)
{
ll res=1;
while(n)
{
if(n&1) res=res*x%mod;
x=x*x%mod;
n>>=1;
}
return res;
}
ll n,ans;
int main()
{
cin>>n;
ans=1;
rep(i,1,n+1)
{
(ans*=i)%=mod;
}
(ans-=mod_pow(2,n-1,mod)-mod)%=mod;
cout<<ans<<"\n";
return 0;
}