Prove Arithmetic Geometric Mean Inequality