0<t<π/2
lim n→∞ n^2 log(cos a/n)