y combinator and the calculation of factorial(5)