Iba a través del siguiente enlace :
http://www.mit.edu/~evanchen/folletos/CRT/CRT.pdf
y estaba tratando de entender la solución al segundo problema que va como :
Vamos N el conjunto de los enteros positivos. Deje $f : \mathbb{N} \to \mathbb{N}$ ser una función de la satisfacción de las dos condiciones siguientes:
(a) $f(m)$ $f(n)$ son relativamente primos siempre $m$ $n$ son relativamente primos.
(b) $n \leq f(n) \leq n+ 2012$ todos los $n$.
Demostrar que para cualquier número natural $n$ y cualquier prime $p$ si $p$ divide $f(n)$ $p$ divide $n$.
Para la solución del problema , no sé lo que invoca el autor para llegar a la idea de la construcción de grandes enteros tales que $F(N) =N$, ¿por Qué la magnitud de un número entero facilitar entero a un punto fijo para esta función $F$ ? Tengo que CRT nos permite seleccionar enteros $M$ $N$ satisfactorio el modulo condiciones para los números primos, pero cuando el rango de N no se ha especificado cómo se afirmó que los números primos mayores que en 2012 no se puede dividir $N$, y cuál era la lógica detrás de $N$ dividiendo $P$ y la elección de $M$ ? Puede alguien darme una foto de la estrategia utilizada en esta prueba ?
