#include <iostream> using namespace std; int main() { int n; cin>>n; int64_t res = 1; while(n>1) res*=n--; cout<<res; }