Guess I spoke too soon. The recurrence relation I derived turns out to be an alternate definition of the catalan numbers, which I think should be sufficient. I still would be curious to see a derivation from the recursive definition to the closed form (factorial) equation, though. If anyone knows how to do that please let me know.