Hum, je ne pense pas que ce soit "un théorème", c´est juste une connaissance qui m´avait posé ce problème (démonter l´inégalité). Après pour la démo, elle utilise l´inégalité arithmético-géométrique :
Soient x1,x2...xn des réels strictement positifs on a
(x1 + x2 + ... + xn)/n >= *nV(x1x2...xn)
n! = 1*2*3...*n,
Ainsi d´après l´inégalité çi-dessus on a
1*2*...*n < [(1 + 2 + .. + n)/n]^n (1)
Or 1 + 2 + ... + n = n(n + 1)/2, ainsi,
(1) <=> n! < [(n + 1)/2]^n