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