>>696

a,bが有理数のときは AM-GM そのものでござるな。