There is a positive constant such that where is the constant defined in Theorem D.
Suppose . Then where and and . Now Theorem D shows that and Theorem E shows that where and is a constant by Theorem C. Now using the binomial theorem and Stirling's formula. Hence Then this inequality and (2.22) imply (2.21) with .