По моему так:
(2)= [2]]= [<<2>>]= [256]= 256:<..1:<256>..>=
{{{2^8}^{2^8}}^{2^16}}^{2^32}...=
{{{2^{8*1}}^{2^{8*1}}}^{2^{8*2}}}^{2^{8*4}}...=
{{{2^{4*2^1}}^{2^{4*2^1}}}^{2^{4*2^2}}}^{2^{4*2^3}}...^{2^{4*2^256}}=
{2^{4*2^256}}^{2^{4*2^256}}=
{2^{2^2*2^256}}^{2^{2^2*2^256}}=
2^{2^2*2^256*2^{2^2*2^256}}=
2^{2^{258+2^258}}
Т.е. 4*10^77 уже в самой верхней степени. Является ли этот результат оценкой?