[Mensaje bloqueado. La pregunta en español está en el siguiente enlace (pinchar aquí) ]Definition of the Number 1 Edrakcillon (Edr)
Let T = TREE(3).
I define the number 1 Edrakcillon (Edr) as:
Edr = (10^(T^500000000))^(T^500000000) + Concat(T, 500000000)
Where:
T = TREE(3).
T^500000000 means TREE(3) raised to the power of 500,000,000.
10^(T^500000000) represents the number 1 followed by T^500000000 zeros.
Concat(T, 500000000) denotes the number obtained by writing TREE(3) consecutively 500,000,000 times.
Properties:
Edr > TREE(3).
Edr > Googol.
Edr > Googolplex.
Edr is a finite integer.
There always exists a larger number than Edr, for example Edr + 1