log(x)is an increasing function, therefore, f(x) <= g(x)if and only if log(f(x)) <= log(g(x)).
In this case
log(2^2^n) = 2^n*log(2)
It is growing exponentially
But
log(n^(2*n)) = 2*n*(log(n)) = O(nlog(n))
which is subexponential.
Thus, you are right that 2^2^nasymptotically dominates n^(2*n).
, Wolfram Alpha. , 2^2^n n^(2*n) n: 2^(2^9) 1.34 x 10^154, 9^(2*9) - 1.5 x 10^17.