(sqrt(2)^-1)^n