@AdamCreen if I'd had more time, I would've done it in my head. There's a v cheap approximation to factorial via an integral