This is the arithmetic-mean geometric mean inequality.
Let x>=0 and y>=0.
0<=(x-y)^2 because a square is always non-negative.
Add 4xy to both sides,
Take square roots since both are non-negative,
Divide by 2,