Geometric Mean ≤ Arithmetic Mean