#include<bits/stdc++.h> using namespace std; long long a; int main() { int ans=1; cin>>a; for(int i=1;i<=a;i++) { ans*=i; } cout<<a<<"!="<<ans; }