[math-fun] Stirling's second