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