Prueba de ello: $n! = \Omega (5^{\log n})$

Question

Demuestra eso: $n! = \Omega (5^{\log n})$

Se trata de encontrar un $c$ y un $n_0$ tal que: $$n! \geq c\cdot5^{\log n}$$

Lo tenemos:

$$n!\leq n^n$$

Así,

$$n\log n \geq \log n \log 5 + \log c$$

Que es: $$(n - \log 5)\log n \geq \log c$$

Así que podemos elegir $c = 1$ y $n_0 = 3$ y funciona. ¿Es eso cierto?

Answer 1

\begin{align}n!=\Omega(5^{\log_2n})&\impliedby n!\ge c\cdot5^{\log_2n}=c\cdot n^{\log_25}\quad\forall n\ge n_0\\&\impliedby n(n-1)(n-2)\ge n^{\log_25}\quad (c=1)\\&\impliedby n^{3-\log_25}-\frac3{n^{\log_25-2}}+\frac2{n^{\log_25-1}}\ge1\quad(\log_25\in[2,3])\\&\text{true with}\,n_0=5\end{align}