inequality of arithmetic and geometric means