Consider the sequence $a_1=1,a_2=2^1,a_3=3^{2^1},\cdots,a_{n+1}=n^{a_n}.$ Is it possible to algorithmically find out the number of digits of $a_n$ without actually computing it?
For a single power like $x=m^p:m,p \in \mathbb N$ we can simply take the logarithm of $x$ to base 10 and add 1 to its integer part. However in case of power tower it is immediately clear how the method can be employed. I would be highly obliged if somebody could point out some way of doing it ,if possible.