I conjectured that for all real $a, b$, that $|a| \geq 2|b| \implies |a+b| \geq |b|$. I'm using this to try to prove a limit where the denominator is $x^2+xy+y^2$ since I know $|x^2+y^2| \geq 2|xy|$.
My attempt: Suppose $|a| \geq 2|b|$. We want to show that $|a+b| \geq |b|$.
$|a| \geq 2|b| \iff |a|-|b| \geq |b| $. Since $|b| \geq 0$ then $|a|+|b| \geq |a|-|b|$.
So we have $|a| + |b| \geq |b| \geq 0.$ Therefore $|a| + |b| = ||a| + |b||$. But I don't know whether $||a|+|b|| \leq |a+b|$. How to proceed, or is my conjecture wrong? And if it is wrong, is there any tweak that can be made to make it correct?
Also, what would be an alternative way to minorate $|x^2+xy+y^2|$ ?