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