Introduction of factorial & factorial notation, History of factorial