Why not use ?
I have to prove that converges to 1/2.
Proof: We want to show that converges to 1/2. So we want to show that
Note that .
Thus if we prove the condition for then we simultaneously prove it for .
So .
So take .
So choose , and the condition holds for the condition holds for since . QED.
Is this a valid proof?