StirlingsFormulaSequences Rigorous mathematical proofs of Stirling's Formula, with additional inequalities and asymptotics