a^2 + b^2 \geq 2 a b