La idea es que después de un tiempo (es decir, después de nϵ), la secuencia está delimitado por 1+|a|, y antes de eso, la secuencia es finito por lo que es limitado por el elemento más grande.
Lo que se hace es dividir la secuencia en dos partes, una a partir de la parte y "el resto"
- El comienzo, a1,a2,…,anϵ, es claramente delimitado por M1=max{a1,a2,…,anϵ}. Está delimitada por M1 porque M1 es el mayor elemento de un conjunto finito, y así debe ser mayor que todos los elementos de ese conjunto.
- El resto de la secuencia, anϵ+1,anϵ+2,…, es infinito, así que no podemos simplemente tomar su máximo. Sin embargo, se sabe y se puede demostrar que esta parte debe estar delimitado por M2=1+|a|.
Ahora, la primera parte de la secuencia está delimitado por M1, y el segundo por M2, por lo que ambos deben ser delimitadas por max{M1,M2}, ya que el M≥M1,M2.
Por ejemplo, es necesario definir M porque 1+|a| no puede ser el límite superior de la secuencia completa. Por ejemplo, la secuencia de 2n tiene un límite de 0, pero la secuencia es no acotado por 1+|0| desde 2 es también una parte de la secuencia.
Sin embargo, la secuencia está delimitada por max{2,0+1}=2.