L1 Analyse Suite 1 question

exo7 4673

1

Montrer que l’ensemble des entiers \(n\) tels que \(2^{n^2} < (4n)!\) est fini.