Ich würde n ! ≥ 3 * (n/3) ^n vorziehen, das kannst du so beweisen:
n=1 : 1 ! ≥ 3 * (1/3) ^ 1 = 1 stimmt.
n ⇒ n+1 etwa so: Sei # n ! ≥ 3 * (n/3) ^n wahr für n, dann gilt
(n+1) ! = ( n+1) * n ! und wegen #
≥ (n+1) * 3 * (n/3) ^n und wegen ( 1 + 1/n ) ^n < e < 3 also
≥ (n+1) * ( 1 +1/n ) ^n * (n/3) ^n
= (n+1) * ( (n +1) /n ) ^n * (n/3) ^n
= (n+1) * ( (n +1)^n / n^n ) * (n^n /3 ^n ) also n^n kürzen gibt
= (n+1) * ( (n +1)^n /3 ^n )
= 3 * (n+1) / 3 * ( (n +1) /3 ) ^n
= 3 * ( ( n+1) / 3 ) n+1 q.e.d.
Dann ist also
n-te wurzel ( n! ) ≥ n-te wurzel ( 3* ( n/3) ^n )
= n-te wurzel ( 3 ) * ( n/3)
und n-te wurzel ( 3 ) geht gegen 1 , aber n/3 gegen unendlich.