π=4(1 + 1/3 + …)
は下からの評価だから使えないな。
収束遅すぎで元々使えないがw