PROOF 192

Prove.

The arithmetic mean is at least the geometric mean

On the non-negative reals.

Theorem T1

For real numbers a, b ≥ 0, (a + b)/2 ≥ √(ab)

Proof.

Related labs