First of all, , not .
Now, to prove , you need to show .
So now we solve for ...
We need to choose an such that for close to .
If we require , then
So we choose , and thus we define .
Proof: Let and define .
Then if we have