lim (n to infinity) sin^2(pi*sqrt{n^2-n})