include<bits/stdc++.h>

define int long long

using namespace std; signed main(){

long long n,ans = 1;
cin>>n;
for (int i = 2;i <= n;i++){
	ans *= (1LL * i);
}
cout<<n<<"!="<<ans;
return 0;

}