sint >= 1/2
t(принадлежит) (П/6+2Пn; 5П/6+2Пn); n e Z (n приналлежит Z);
cost <= -корень из 2 делить на 2
t(принадлежит) (3П/4+2Пn; 5П/4+2Пn); n e Z (n приналлежит Z);
sint >= 1/2
t(принадлежит) (П/6+2Пn; 5П/6+2Пn); n e Z (n приналлежит Z);
cost <= -корень из 2 делить на 2
t(принадлежит) (3П/4+2Пn; 5П/4+2Пn); n e Z (n приналлежит Z);