# A Proof of Stirling’s Approximation via Contour Integration

Stirling’s approximation gives a useful estimate for large factorials. This post contains a (new?) proof of Stirling’s formula which relies on properties of the Riemann zeta function.

If a set of positive integers contains no arithmetic progressions, how large can it be? In this post, we study this question in the context of harmonic sums.

This post discusses the problem of computer-assisted decryption of un-parsed substitution ciphers. Sample Mathematica code is linked within.