4 Sean $ a,b$ números reales positivos que satisfacen $ b - a > 2.$ Demuestre que para cualesquiera dos enteros distintos $ m,n$ pertenecientes a $ [a,b),$ siempre existe un conjunto no vacío $ S$ formado por ciertos enteros pertenecientes a $ [ab,(a + 1)(b + 1))$ tal que $ \frac {\displaystyle\prod_{x\in S}}{mn}$ es el cuadrado de un número racional. Fang-jh