Кстати, ведь для доказательства (*) достаточно разложить -sin(x) в ряд Тейлора, там все без Лопиталя видно.