НЕРАВЕНСТВО ТРЕХ МУЖИКОВ (КБШ) И ЛЕММА ТИТУ

Замечаем, что косинус меньше единицы, и дальше понеслось... Мой гит (возможно там что-то будет):