What is #x = sqrt(2sqrt(2sqrt(2sqrt(2...))))# ?