Geometric mean inequality for positive numbers, with applications in optimization, algebraic inequalities, and identifying inequalities. Includes examples such as (a+b)/2 ≥ √(ab) for a,b>0