Definición del número 1 Edrakcillón (Edr)
Sea T = TREE(3).
Se define el número 1 Edrakcillón, abreviado como Edr, de la siguiente forma:
Edr = (10^(T^500000000))^T
+ Concat(T, 500000000)
+ T/2
donde:
• T = TREE(3).
• T^500000000 representa TREE(3) elevado a 500 000 000.
• 10^(T^500000000) representa un 1 seguido de T^500000000 ceros.
• Concat(T, 500000000) representa el número obtenido al escribir TREE(3) exactamente 500 000 000 veces de forma consecutiva.
• T/2 representa la mitad de TREE(3).
Propiedades:
1. Edr > TREE(3).
2. Edr > Googol.
3. Edr > Googolplex.
4. Edr es un número finito.
5. Para cualquier Edr siempre existe un número mayor, por ejemplo Edr + 1.