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