The Taylor expansions at zero give and . Squaring the first expression gives , so canceling the leading quadratic power yields
Both numerator and denominator vanish, but their leading nonzero coefficients have ratio two.
Expand before taking the fourth derivative:
The apparent singularity at zero is removable. The convergent power series may be differentiated termwise, giving
At , the successive contributions are , and approximately . Thus
Even the first two nonzero terms give ; the next retained correction quantifies that estimate's accuracy.
Use with the inverse tangent branch . Then , so
For , the geometric series gives . Integrating term by term on compact subintervals of produces
The integral identity itself holds for every real ; the displayed local power-series argument uses .

Articles by others on the same topic (0)

There are currently no matching articles.