#include <stdio.h>

int main()
{
  int n, f = 1;

  scanf("%d", &n);

  while (n>0) {
    f *= n;
    n--;
  }

  printf("%d\n", f);
  
  return 0;
}