#include<stdio.h>

int main() {
    int n;
    int i;
    long long int ret=1;
    scanf("%d",&n);
    for(i=1;i<=n;i++)
        ret*=i;
   printf("%lld\n",ret);

}