limit cos(pi*sqrt (n^2-n))