Recursion and the Y Combinator(en.wikipedia.org)

https://en.wikipedia.org/wiki/Fixed-point_combinator#Fixed_point_combinators_in_lambda_calculus