Arithmetic and geometric mean/Estimate/Exercise

Let ${}x$ and ${}y$ be two non-negative real numbers. Prove that the arithmetic mean of these numbers is larger than or equal to their geometric mean.

To solution