OFFSET
0,2
COMMENTS
The most significant digit of the base-10 representation of 2^(2^(2^...)) n times is given by floor(2^^n/10^(len(2^^n)-1)), where len(2^^n) indicates the number of digits of the argument.
Although it is known that 2^^6 starts with the digit 2 (see A241291), a(7) is not currently known (for details, see Googology link, section "First digits in tetration").
LINKS
Googology, Tetration.
Eric Weisstein's World of Mathematics, Power Tower
Wikipedia, Knuth's up-arrow notation
Wikipedia, Tetration
FORMULA
a(n) = floor(2^^n/10^floor(log(2^^n))).
EXAMPLE
a(4) = 6, since 2^^4 = 65536.
CROSSREFS
KEYWORD
base,hard,more,nonn
AUTHOR
Marco Ripà, Apr 02 2023
STATUS
approved