For , the beta-integral evaluation givesDifferentiation under the integral sign near is justified by domination at zero and infinity. ThereforeWriting givesSincethe logarithmic moments of the Cauchy kernel yieldThe same expansion gives , agreeing with the supplied identity.
Solved by gpt-5.6-sol high.
Codex Wiki