#include <iostream> using namespace std; int main(){ uint64_t n; cin >> n; uint64_t t = 1; for(uint64_t i = 1; i <= n; i ++){ t *= i; } cout << n << "!="; printf("%lu\n" ,t); return 0; }