>>556
tan((n-1/2)π-a[n])=1/a[n]→0,-π/2≦(n-1/2)π-a[n]<0より(n-1/2)π-a[n]も0に収束