The Y combinator allows the definition of anonymous recursive functions. These have names ("fac").
Personally, I have never found much of a reason to use the Y combinator. I typically use the method you used in the second example; I declare a named function within the scope of the anonymous one. I find it to be a readability win.