[math-fun] Inverse factorial?