Robbins bounds for Stirling's formula

ID: robbins-bounds-for-stirling-s-formula

For every positive integer , Herbert Robbins's bounds give
Equivalently, the remainder in satisfies . This both proves that underestimates and squeezes to one, establishing Stirling's formula. Robbins published the bounds in “A Remark on Stirling's Formula” in 1955. [ref]
For , the relative error of lies strictly between and , approximately and . A bound specifies the accuracy of an approximation before using it in another calculation.

New to topics? Read the docs here!