Hi;

The paper I am looking at "Gaussian and Coins."

Using Stirlings:

Notice the approximately equal sign that is because you are approximated a discrete distribution ( binomial ) with the Normal distribution.

1) is an approximation for 2) which the above steps prove. Even for large N it is still an approximation. When N approaches infinity 1) = 2).

To prove that you might need the limit but maybe since Stirlings formula is asymptotic to the factorial it might be implied in step 3.