Proving algebraic statements with direct proofs.
(a) For any positive real numbers, x and y, x + y ≥ √(xy).