/3*n \ sin|--- - a| /n \ \ 2 / cot|- - a| - tan(n + a) + ------------ > 0 \2 / cos(n + a)
-tan(a + n) + cot(-a + n/2) + sin(-a + (3*n)/2)/cos(a + n) > 0