[pndmnm]

Ah, I gotcha. Yeah, the question as posed is straightforward, though there's some fun stuff (fixed points of ordinal exponentiation, inaccessibles, etc) floating around in the same neighborhood.