bot писал(а):
Брюзга: лучше всё же непосредственно сведением к первому замечательному пределу: ...
А иначе ведь порочный круг налицо: правило Лопиталя использует производную, а производная косинуса вычисляется через первый замечательный предел.
Нет тут порочного круга, поскольку первый замечательный предел вычисляется
до вычисления производной синуса или косинуса. Даже если мы
потом будем вычислять первый замечательный предел с помощью правила Лопиталя, порочного круга не будет, так как у нас
есть независимое вычисление. А то Вы запретите вообще применять правило Лопиталя к пределам, содержащим тригонометрические функции (и, вдобавок, к пределам, содержащим логарифмическую или показательную функцию - по аналогичной причине).