Is this approximation for a factorial a known formula?

53 Views Asked by At

I saw this approximation in some notes:

$n! \approx e^{-n}*n^n*\sqrt{2\pi n}$

What is this approximation? How is it derived? Is it a known formula?