Exercise 3.4.3: Proving algebraic statements with direct proofs. Prove each of the following statements using a direct proof. (a) For any positive real numbers, x and y, x + y >= √xy.