Первый замечательный предел
Следствия:
Доказательство
Основное равенство
Из прото-задачи П-ссылка нам известно, что для острых углов выполняется неравенство:
«Перевернем» все части этого неравенства, зная, что все они строго положительные:
Уножим все части неравенства на :
В правой части имеем константную функцию, которая при любом равна . Поэтому
В левой части неравенства имеем функцию косинуса. Так как косинус непрерывен (П-ссылка), то
Итак, наша функция «зажата» между стремящимеся к функциями и . По теореме о двух милиционерах это означает, что
Следствия
TODO: Доказать оставшиеся следствия с обр. триг. функ., когда докажу теоремы остальные теоремы про непрерывность.