(let ((recursive-factorial (Y (lambda (???)
                                (lambda (n)
                                  (if (= n 0) 1 (* n (??? (- n 1)))))))))
  (recursive-factorial 5))

; ??? is just a name. But what is Y?