#include<iostream> using namespace std; long long jc(long long t) { int j; j=t; t=1; for(int i=1;i<=j;i++) { t=t*i; } return t; } int main() { long long n; cin>>n; cout<<n<<"!="<<(jc(n)); return 0; }