a_n = a_(n-1)^sqrt(2) and a(0) = sqrt(2)