π=4(1/1+1/3+1/5+1/7......) ライプニッツ法と呼ばれています。 証明は、大変難しいので、ここには記しません。
https://forkphorus.github.io/#453500639 こっちでやったほうが速いです