@@ -3,7 +3,7 @@
Vamos utilzar que
$$2 lg \space (n!) \geq (n/2) lg \space n$$
e lebrem que
-$$ 2 lg \space (n!) = lg \space (n!^2) = lg \space(\sum\_{n = 1 }^{\infty} 2^{-n} = 1) $$
+$$ 2 lg \space (n!) = lg \space (n!^2) = lg \space(\prod\_{i=0}^{n-1} (n-1i) \cdot (i+1)) $$
Vamos provar por indução. No caso base, $n = 4$,
