a(0) = 1, a(n+1) = sqrt(2^a_(n))