#include <bits/stdc++.h> using namespace std; int main(){ long long n; cin >> n; long long m=n,s=1; while(n!=0){ s*=n; n--; } cout << m << "!=" << s; return 0; }