User blog comment:Wythagoras/Finite Promise Games/@comment-10429372-20140829185955/@comment-25418284-20140905195303

(Update: I was wrong. It is indeed the nested factorial.)