对级数 1/(1+t^2) = sum (-1)^k t^(2k) 积分得到 arctan x 级数。利用此推导莱布尼兹公式: