#include <bits/stdc++.h>
int main() {
  long long int a, b, i, n, f = 1;
  scanf("%I64d %I64d", &a, &b);
  if (a >= b) {
    n = b;
  } else {
    n = a;
  }
  for (i = 1; i <= n; i++) {
    f = f * i;
  }
  printf("%I64d", f);
  return 0;
}
