Prove Arithmetic Geometric Mean Calculator