Place the numbers by their size. Place the following numbers by their size:
$$A=2^{4^{2^{.^{.^{.^{2^{4}}}}}}},B=4^{2^{4^{.^{.^{.{4^{2}}}}}}},C=2^{2^{2^{.^{.^{.^{2^{2}}}}}}}$$
In number $C$ there are $2000$ "$2$" digits, and in numbers $B,A$ there are $500$ "$2$" and $500$ "$4$" digits. It seems to me that $C>B>A$, but I can't give a proof. Any hints?
Here is the same problem in art of problem solving. I hope that it helps.
 A: Alternative and relatively easy solution without using logarithms. Let us set 
$$h=2^{4^{2^4}}$$
$$j=4^{2^{4^2}}$$
$$k=2^{2^{2^{.^{.^{.^{2^{2}}}}}}}$$
where $h $ and $j $ only contain four numbers (two $2$ and two $4$), and $k $ contains sixteen $2$. Calculating the exponential towers starting from the top, we have 
$$h=2^{4^{16}}  =  2^{2^{32}}   $$
$$j=4^{2^{16}}   =  2^{2 \cdot 2^{16}}   = 2^{ 2^{17}}   $$
so that $h>j $ . Also, considering $k $ and solving its first two exponentials from the top, we get an exponential tower formed by fourteen elements where the first thirteen are $2$ and the last one is $16$. Therefore we clearly have  $k>h>j$.
Now let us consider the numbers $A , B , C $ reported in the OP. Again starting to solve the exponentials from the top, we can rewrite them as
$$A=(A_1)^h $$
$$B=(B_1)^j $$
$$C=(C_1)^k $$
where $A_1$ and $B_1  $ are exponential towers similar to the initial towers $A $ and $B $, respectively, but with $500-4=496 \,\,\,     $ elements instead of $500$; and where $C_1$  is an exponential tower similar to the initial $C $ but with $2000-16=1984 \,\,\,    $ elements instead of $2000$.
Because $k>h>j  \,\,\, $, if we could show that $C_1>A_1>B_1 \,\,\,    $, then this would necessarily imply $C>A>B \,\,\,  $. With this in mind, we can now repeat the same procedure above, applying it to $A_1, B_1, C_1  \,\,\,  $. So we can set 
$$A_1=(A_2)^h $$
$$B_1=(B_2)^j $$
$$C_1=(C_2)^k $$
where $A_2$ and $B_2  $ are again exponential towers similar to  $A $ and $B$, respectively, but with $500-2\cdot 4 =492  \,\,\,    $ elements instead of $500$; and where $C_2$  is an exponential tower similar to $C $ but with $2000-2 \cdot 16=1968 \,\,\,    $ elements instead of $2000$. As above, because $k>h>j \,\,\,     $, if we could show that $C_2>A_2>B_2$, then this would necessarily imply $C_1>A_1>B_1 \,\,\,  $, and then $C>A>B \,\,\, $.
To generalize, after repeating this procedure $m $ times, we obtain two numbers $A_m$ and $B_m  $ that are exponential towers similar to  $A $ and $B $, respectively, but with $500-m\cdot 4 \,\,\,$ elements instead of $500$, and a third number $C_m$ that is an exponential tower similar to $C $ but with $2000-m \cdot 16 \,\,\,  $ elements instead of $2000$. As above, because $k>h>j   \,\,\,    $, showing that $C_m>A_m>B_m   \,\,\, \,\, $ necessarily implies $C_{m-1}>A_{m-1}>B_{m-1}  \,\,   \,\,\,    $,  which in turn implies $C_{m-2}>A_{m-2}>B_{m-2} \,\,\,  \,\,    $ and so on, until $C>A>B \,\,\,  \,\,  $.
So, repeating this procedure $m=124   \,\,$ times, we arrive to a point where $A_{124} $ and $B_{124} $ are exponential towers with $500-124\cdot 4 =4    \,\,\,  $ elements, and  $C_{124}$  is an exponential tower with $2000-124 \cdot 16=16 \,\,\,     $ elements. Since $ A_{124}=h  \,\, \,\,\, $, $B_{124}=j  \,\,  \,\,\,  $, and $C_{124}=k \,\,   \,\,\,  $, we have $ C_{124}>A_{124}>B_{124}     \,\,\,  $, which necessarily implies, as shown above, $C>A>B    \,\,\,  $. 
A: One approach is to use that if $x > 3y$ we have $2^x > 3\cdot4^y$ if $y\ge2$. This is because:
$$2^x > 2^{3y}$$
$$4^y = 2^{2y}$$
so their ratio is:
$${2^x\over4^y} > {2^{3y}\over2^{2y}}=2^y$$
In similar way we have that $4^x > 3\cdot2^y$.
So if $y\ge2$ we have that the ratio is at least $4$ and definitely larger than $3$. So we can use this to get relative estimates. Starting at the tail of $A$ and $B$. Obviously $2^4=16=4^2$, but next we have $4^{2^4} = 4^{16} = 2^{17}$ and $2^{4^2}=2^{16}$. Next step we will have that $2^{4^{2^4}} > 3\cdot4^{2^{4^2}}$, so thereby we will have that result all the way until we've reached $A$ and $B$ so we will have $A>3B>B$ (I assume that they all contain the same number of numbers). 
The relation between $A$ and $C$ can be seen in similar and somewhat easier way. To do this we will first make sure that the exponent chain is equally long. This is done by just replacing the tail of $C$. Obviously $2^{2^{\cdots{997}\cdots^2}} > 3\cdot4$, the rest follows - so $C>A$.
A: This is an excellent exercise to practice how to deal with exponentiation. Remembering that $x\cdot x^y=x^{y+1}$ and that $(x^y)^z=x^{y\cdot z}$, let:
$a_1=2^4=16~~~~~~a_{i+1}=2^{4^{a_{i}}}=2^{(2^2)^{a_i}}=2^{2^{\mathbf{\left(2\cdot a_{i}\right)}}}$
$b_1=4^2=16~~~~~~b_{i+1}=4^{2^{b_{i}}}=(2^2)^{2^{b_i}}=2^{2\cdot 2^{b_i}}=2^{2^{\mathbf{\left(b_i+1\right)}}}$
$c_1=2^{2^{2^{2}}}=2^{16}~~~c_{i+1}=2^{2^{2^{2^{c_{i}}}}}=2^{2^{\mathbf{\left(2^{2^{c_{i}}}\right)}}}$
so that $A=a_{500}, B=b_{500}, C=c_{500}$.
Now, if $1<b_i\leq a_i\leq c_i$ then $\mathbf{(b_i+1)}\leq (a_i+1) < \mathbf{(2\cdot a_i)} \leq (2\cdot c_i) < 2^{c_i} < \mathbf{\left( 2^{2^{c_i}}\right)}$, so if we look at what is in parentheses "on top" of the $2^2$ in the last term of the expressions of $a_{i+1}$, $b_{i+1}$, $c_{i+1}$ we have:
$1<b_1=a_1<c_1 \implies 1<b_2<a_2<c_2 \implies\dots \implies 1<b_{500}<a_{500}<c_{500}$, i.e. 

$B<A<C$.

