#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; }