容易证明,该
广义积分收敛,那么就可以用
无穷级数展开
ln(1-x)=-x-x^2/2-x^3/3-x^4/4-……
ln(1-x)/x=-1-x/2-x^2/3-x^3/4-……=-∑[n从0到∞] x^n/(n+1)
∫[0->1] -∑[n从0到∞] x^n/(n+1)=-∑[n从0到∞]x^(n+1)/(n+1)² | [0->1]
=-∑[n从0到∞] 1/(n+1)²
=-(1+1/2²+1/3²+1/4²+……)=-π²/6
而且这是spence function,原式=-Li2(1)=-π²/6
