Theorem 6.5 (page 240 of Apostol) states that if and if
then
with
Let and
and apply this theorem to approximate
with sufficient precision to obtain
By the theorem we have
where
Therefore, letting and
we have
Therefore,
The inequality for the lower bound of R_m(x) is incorrect, it should be 2m+1 not 2m-1 both in the denominator and the exponent. Typo probably.