Кажется, придумал. Буду рад, если кто-нибудь проверит правильность/найдёт ошибки.
Вводим полярные координаты.



Распишу разность синусов как произведение синуса на косинус и сразу оценю (модуль синуса не превосходит модуль аргумента, модуль косинуса не превосходит 1). Заодно оцениваю правую половинку суммы.

Левое слагаемое при

стремится к 0 при любом

. Как бы это уже значит, что весь наш начальный модуль стремится к нулю, но всё равно подскажите, нельзя ли как нибудь оценить последнее выражение, чтобы в нём не осталось

?