lim n->inf (sqrt(3)-cos(pi/n))^n