number.house
Sequences
Properties
80807124
domain:
N
Appears in sequences
a(n) = floor(log_10(2^(2^n))).
at n=27
A129784