Using Stirling's formula :
And finally :
Now, . Otherwise, , for any (and in [0,1] of course). This is VERY easy to prove, by taking the derivative of .
If , then the series would be equivalent to , which is a divergent Riemann series.
If , then note that , for any
Since , and therefore, is a convergent series.