Alternativa y relativamente fácil solución sin el uso de logaritmos. Dejemos de
$$h=2^{4^{2^4}}$$
$$j=4^{2^{4^2}}$$
$$k=2^{2^{2^{.^{.^{.^{2^{2}}}}}}}$$
donde $h $ $j $ sólo contienen cuatro números (dos $2$ y dos $4$), y $k $ contiene dieciséis $2$. El cálculo de la exponencial de las torres a partir de la parte superior, tenemos
$$h=2^{4^{16}} = 2^{2^{32}} $$
$$j=4^{2^{16}} = 2^{2 \cdot 2^{16}} = 2^{ 2^{17}} $$
de modo que $h>j $ . Además, teniendo en cuenta $k $ y la solución de sus dos primeros exponenciales de la parte superior, se consigue un aumento exponencial de la torre formada por catorce elementos, en donde la primera edad de trece años se $2$ y la última es $16$. Por lo tanto, claramente tenemos $k>h>j$.
Consideremos ahora los números de $A , B , C $ reportado en el OP. Empezando de nuevo para resolver el exponenciales de la parte superior, se puede reescribir como
$$A=(A_1)^h $$
$$B=(B_1)^j $$
$$C=(C_1)^k $$
donde $A_1$ $B_1 $ son exponenciales torres similar a la inicial de las torres de $A $$B $, respectivamente, pero con $500-4=496 \,\,\, $ elementos en lugar de $500$; y donde $C_1$ es un aumento exponencial de la torre similar a la inicial $C $, pero con $2000-16=1984 \,\,\, $ elementos en lugar de $2000$.
Debido a $k>h>j \,\,\, $, si se podía demostrar que $C_1>A_1>B_1 \,\,\, $, esto nos implica, necesariamente,$C>A>B \,\,\, $. Con esto en mente, podemos ahora repita el mismo procedimiento anterior, aplicando a $A_1, B_1, C_1 \,\,\, $. De esta manera podemos
$$A_1=(A_2)^h $$
$$B_1=(B_2)^j $$
$$C_1=(C_2)^k $$
donde $A_2$ $B_2 $ son de nuevo exponencial torres similar a$A $$B$, respectivamente, pero con $500-2\cdot 4 =492 \,\,\, $ elementos en lugar de $500$; y donde $C_2$ es un aumento exponencial de la torre similar a$C $, pero con $2000-2 \cdot 16=1968 \,\,\, $ elementos en lugar de $2000$. Como en el anterior, debido a que $k>h>j \,\,\, $, si se podía demostrar que $C_2>A_2>B_2$, esto nos implica, necesariamente,$C_1>A_1>B_1 \,\,\, $, y, a continuación,$C>B>A \,\,\, $.
Para generalizar, después de repetir este procedimiento $m $ veces, obtenemos dos números de $A_m$ $B_m $ que son exponenciales torres similar a$A $$B $, respectivamente, pero con $500-m\cdot 4 \,\,\,$ elementos en lugar de $500$, y un tercer número $C_m$ que es una exponencial de la torre similar a$C $, pero con $2000-m \cdot 16 \,\,\, $ elementos en lugar de $2000$. Como en el anterior, debido a que $k>h>j \,\,\, $, mostrando que el $C_m>A_m>B_m \,\,\, \,\, $ implica necesariamente a $C_{m-1}>A_{m-1}>B_{m-1} \,\, \,\,\, $, lo que implica $C_{m-2}>A_{m-2}>B_{m-2} \,\,\, \,\, $ y así sucesivamente, hasta que $C>B>A \,\,\, \,\, $.
Así, la repetición de este procedimiento $m=124 \,\,$ a veces, llegamos a un punto donde $A_{124} $ $B_{124} $ son exponenciales torres con $500-124\cdot 4 =4 \,\,\, $ elementos, y $C_{124}$ es un aumento exponencial de la torre con $2000-124 \cdot 16=16 \,\,\, $ elementos. Desde $ A_{124}=h \,\, \,\,\, $, $B_{124}=j \,\, \,\,\, $, y $C_{124}=k \,\, \,\,\, $,$ C_{124}>A_{124}>B_{124} \,\,\, $, lo que implica necesariamente, como se muestra arriba, $C>A>B \,\,\, $.