Можно. В твоем примере y > x > 0. Рассмотрим случаи:
1)
![image](//tex.z-dn.net/?f=xy%20%3C%20x%20%3D%3E%20x(y-1)%20%3C%200%20%3D%3E%20y-1%20%3C%200%20%3D%3E%20y%20%3C%201)
Деление на x законно, т.к. оно положительное. Таким образом, произведение xy меньше x, если y меньше 1.
2)
![image](//tex.z-dn.net/?f=x%20%3C%20xy%20%3C%20y%20%3D%3E%20%5Cleft%20%5C%7B%20%7B%7Bxy%20%3E%20x%7D%20%5Catop%20%7By%20%3E%20xy%7D%7D%20%5Cright.%20%3D%3E%20%5Cleft%20%5C%7B%20%7B%7By%20%3E%201%7D%20%5Catop%20%7Bx%20%3C%201%7D%7D%20%5Cright.)
Опять же, деление на x и y законно, ибо они положительные. Выполняется при условии, что y > 1, а x < 1
3) ![image](//tex.z-dn.net/?f=y%20%3C%20xy%20%3C%20x%2By%20%3D%3E%20%5Cleft%20%5C%7B%20%7B%7Bxy%20%3E%20y%7D%20%5Catop%20%7Bx%2By%20%3E%20xy%7D%7D%20%5Cright.%20%3D%3E%20%5Cleft%20%5C%7B%20%7B%7Bx%3E1%7D%20%5Catop%20%7Bx(y-1)%3Cy%7D%7D%20%5Cright.%20%3D%3E%20%5Cleft%20%5C%7B%20%7B%7Bx%20%3E%201%7D%20%5Catop%20%7Bx%20%3C%20%5Cfrac%7By%7D%7By-1%7D%20%7D%7D%20%5Cright.)
4) ![image](//tex.z-dn.net/?f=x%20%2B%20y%20%3C%20xy%20%3D%3E%20y%20%3C%20x(y-1)%20%3D%3E%20x%20%3E%20%5Cfrac%7By%7D%7By-1%7D)