## Estimate of a factorial

With the help of an integral, estimate $$n!$$. (The log function can be useful.)