De manera informal, $\lim_{x \to p} f(x)=L$ significa que "cuando f se aplica a cualquier entrada lo suficientemente cerca de p, el valor de salida es forzado arbitrariamente cerca de L". En la imagen, al $x$ es lo suficientemente cerca de las 6, $f(x)$ puede ser arbitrariamente cerca de $2$ y siempre mayor que $2$. A continuación, $f(f(x))$ puede ser arbitrariamente cerca de $5$, ya que la curva en $x\leq2$ no se utiliza en absoluto.
$\lim_{x \to 6} f(f(x))=L$ es definido a decir:
Para todos los $\varepsilon>0$, existe un $\delta>0$ tal que para todos los $x$ ( $D$ ) que satisfacen $0<|x-6|<\delta$, la desigualdad de $|f(f(x))-L|<\varepsilon$ mantiene.
Deje $L=5$. Para todos los $\varepsilon>0$, seleccionamos $\delta$ utilizando los pasos siguientes:
- $e = \min{\{\varepsilon, 0.5\}}$.
- Solucionar $f(d)=5-e$. Desde $0<e<1$ podemos llegar a una solución en $(2,3)$. El nombre de $d$.
- Solucionar $f(c)=d$. Hay 2 soluciones en $(3,6)$ $(6,9)$ (nota:$2<d<3$). Nombre de $c_1, c_2$.
- $\delta=\min{\{|6-c_1|,|c_2-6|\}}$.
Ahora, para todos los $x$ que satisfacer $0<|x-6|<\delta$, $x$ está más cerca de a $6$ que $c_1$$c_2$, lo $c_1<\delta<c_2$ (e $\delta \neq 6$). Por lo tanto, de la imagen, $2<f(x)<d$, e $5>f(f(x))>5-e$, lo $|f(f(x))-5|<e\leq\varepsilon$ mantiene.
Así, a partir de la definición de $\lim_{x \to 6} f(f(x))=5$.