>>21
有限和ではπの近似になるが、無限和ではπが表せるという例

種を明かすと π=2∫[0,∞] sin(x)/x dx　をステップ幅Δx=π/2で和に直すと
π=Δx+2Δx納n=1,∞]sin(nΔx)/(nΔx)
↓
π=4(1+1/3+1/5+1/7+1/9+...)
のようのグレゴリーライプニッツの級数が得られるので、
>>18 はその一般化を行っただけ