lim ctg^n (x/8)*tg^n (5x/4) as x->0, n\in\mathbb N