finished AG-mean inequality