Proof of a Mixed Arithmetic-Mean, Geometric-Mean Inequality