Stirling's Formula/Refinement/Examples