Apparently it's a famous inequality taught in 1st year calculus but I have never even seen it before nor know it has a name.
$x + y \geq 2\sqrt{xy}$
It looks like it is just saying $(x + y)^2 \geq 4xy$, so it's somehow derived from sum of squares?
What is the name (if it even has one) of this inequality?