разве это не приведет к тому же ctg8x*(tgx - 1) как и при использовании замечательного предела ?
Если все сделать правильно, то получится
ctg8xlntgx=cos8x*tgx/sin8x, а это уже неопределенность [0/0], которую можно раскріть, например, используя правило Лопиталя