Deje ser el inverso de . . que .α k A 1 ( x ) = 2 x , A 2 ( x ) = 2 x , … k - 1 ( x ) = A x ( x )AkαkA1(x)=2x,A2(x)=2x,…k−1(x)=Ax(x)
Dado que , y desde , . Como resultado .∀ z , α y ( z ) > α x ( z ) α yx=αx(Ax(x))∀z,αy(z)>αx(z)k ( A x ( x ) ) = xαy(Ax(x))>αx(Ax(x))=xk(Ax(x))=x
Ahora considere el valor de . Por definición de , esto es . Sabemos que , entonces . Afirmo que . . Ahora , entonces . Como , , entonces . Por lo tanto,α min z { α z ( A n ( n ) ) ≤ 3 } α n ( A n ( n ) ) = n α ( A n ( n ) ) > n α ( A n ( nα(k−1(n))=α(An(n))αminz{αz(An(n))≤3}αn(An(n))=nα(An(n))>nα n + 1 ( A n ( n ) ) = 1 + α n + 1 ( n ) αα(An(n))≤n+2αn+1(An(n))=1+αn+1(n)α α ( n ) ( n ) ≤ 3 n + 1 > α ( n )α n + 1 ( n ) ≤ 3 α n + 1 ( A n ( n ) ) ≤ 4 α n + 2 ( A n ( n )α(n)=minz{αz(n)≤3}αα(n)(n)≤3n+1>α(n)αn+1(n)≤3αn+1(An(n))≤4αn+2(An(n))=1+αn+2(αn+1(n))≤1+αn+2(4)≤3.
Entonces, tenemos , entonces y son esencialmente iguales.k αn<α(k−1(n))≤n+2kα