As in the sector ,
For the Bernoulli numbers , see §24.2(i).
With the same conditions,
The expansion (5.11.1) is called Stirling’s series (Whittaker and Watson (1927, §12.33)), whereas the expansion (5.11.3), or sometimes just its leading term, is known as Stirling’s formula (Abramowitz and Stegun (1964, §6.1), Olver (1997b, p. 88)).
Next, and again with the same conditions,
where and are both fixed, and
where is fixed, and is the Bernoulli polynomial defined in §24.2(i).
Lastly, as ,
uniformly for bounded real values of .
If the sums in the expansions (5.11.1) and (5.11.2) are terminated at () and is real and positive, then the remainder terms are bounded in magnitude by the first neglected terms and have the same sign. If is complex, then the remainder terms are bounded in magnitude by for (5.11.1), and for (5.11.2), times the first neglected terms.
For the remainder term in (5.11.3) write
In this subsection , , and are real or complex constants.
If in the sector (), then
Also, with the added condition ,
In terms of generalized Bernoulli polynomials (§24.16(i)), we have for