新スレが立たないのでここで再質問
----https://ja.wikipedia.org/wiki/%E3%82%B9%E3%82%BF%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E3%81%AE%E8%BF%91%E4%BC%BC
の収束級数形式のスターリングの公式の所にある
∫[0,∞]arctan(t/x)/(exp(2πt)-1)dt = Σ[n=0,∞]cn /x^(n)
ただし
x^(n) = x(x+1)…(x+n-1)
cn = 1/n∫[0,1]x^(n)(x-1/2)dx
の証明が全く思いつきません。どなたかわかりますか？
----
wikipediaっ大概証明がのってるサイトへのリンクなり教科書なり論文なりのソースが載ってることが多いのにこれにはついてなくて自力でもおもいつきませんorz