#include <stdio.h>
int main(void)
{
    long answr = 1;
    int n;
    scanf("%d", &n);
    for (int i = 1; i <= n; i++)
    {
        answr *= i;
    }
    printf("%ld\n", answr);
    return 0;
}