stirling formula: proof

December 4, 2020