Basic Analysis I — Real Analysis · Problem 1.2.7

Real Numbers — Jiri Lebl

Mathematics — Real Analysis · inequalities

Problem

Prove the arithmetic-geometric mean inequality. For two positive real numbers

x, y

\sqrt{xy} \leq \frac{x+y}{2}.

Furthermore, equality occurs if and only if

x = y