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

I think you're right about the double factorial. The !! notation is fairly standard.