Stirling’s approximation
(textbook has alternate way of getting the bound, p. 288)