4 Sean $m,n$ enteros mayores que 1 , $m \geq n$ , $a_1,a_2,\dots,a_n$ son $n$ números distintos que no exceden $m$ y son primos relativos. Demuestre que para cualquier real $x$ , existe $i$ para el cual $||a_ix|| \geq \frac{2}{m(m+1)} ||x||$ , donde $||x||$ denota la distancia entre $x$ y el entero más cercano a $x$ .