Доказать неравенство sin(1) < log_3(sqrt(7)) без калькулятора // Сергей Фролов / Математический Мирок

Доказать неравенство sin(1) < log_3(sqrt(7)) без калькулятора. Для доказательства используем различные равносильные преобразования неравенств и оценки сверху левых частей неравенств.