La propriété
\[
\frac{1}{n!} > \frac{8^n}{(2n)!}
\]
est-elle vraie pour tout entier naturel $n$ ?
