lim n sqrt(2-2cos(2pi/n)) as n to infinity