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