x, y≧1 に対して、x√(y-1) + y√(x-1) ≦xy.