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