Это из Решения предела ф-ции limx->0(ctg-1/x)