La que demuestras sólo requiere elevar al cuadrado ambos lados de la desigualdad al mismo tiempo para obtener la respuesta que deseas, es decir, derivación inversa. Si la suposición es cierta, entonces la más simple es correcta y no hay paradoja.
|X|Y|≥|XY|
| -2-X-4
|