Many Factorials in Lambda Calculus