$ n! = {\cal O} \biggl( \sqrt {2\pi n} {({n \over e})^n} \biggr) $