Series Expansion for Pi over Root 2/Proof 2

Proof
We have:

So, we have: