A Formal Proof of Stirling’s Formula (Formalized Mathematics, 2025)