Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
In the series (3.4) defining , we can separate the sum into two ranges
and
. In the first range, using elementary Taylor expansion of arctan,
|
|
|
which implies after summation
|
|
|
The second range only appears if . This sum is crudely estimated by
|
|
|
Combining the discussions gives the result.
∎