what is 100 factorial