Text this: A Formal Proof of Stirling’s Formula