Here is the excerpt of his proof that I do not understand
I don't understand why he concludes that $|b_n| > |b|/2$ from this.
Here is the excerpt of his proof that I do not understand
I don't understand why he concludes that $|b_n| > |b|/2$ from this.
Observe that by the triangle inequality $|b|-|b_n|\leq |b_n-b|<|b|/2$. Then rearranging for $|b_n|$ you obtain the result.
To see that the trick with the triangle inequality, note $|b|=|b_n+(b-b_n)|\leq |b_n|+|b-b_n|=|b_n|+|b_n-b|$. Therefore subtracting $|b_n|$ from both sides you obtain the result.