Arithmetic-geometric_mean_inequality loading ...