Оценка меры иррациональности числа $\log \frac{37}{30} $

Оценки снизу меры иррациональности логарифмов рациональных чисел рассматривались многими зарубежными авторами: М. Вальдшмидт [1], А. Бейкер и Д. Вустольц [2], A. Хеймонен, Т. Матала-ахо, К. Ваананен [3], К. Ву [4], Д. Рин [5] и П. Тоффин [6]. В своих работах они применяли различные интегральные конструкции, дающие малые линейные формы от логарифмов и других чисел, вычисляли асимптотику интегралов и коэффициентов линейных форм с помощью метода перевала, теоремы Лапласа, оценивали знаменатель коэффициентов линейных форм с использованием различных схем "сокращения простых чисел". Обзор некоторых методов из теории диофантовых приближений логарифмов рациональных чисел того времени был представлен в 2004 году в статье В. В. Зудилина [7].
Затем В. Х. Салихов в работе [8], основываясь на тех же асимптотических методах, но использовав новый вид интегральной конструкции, обладающей свойством симметрии, значительно улучшил оценку меры иррациональности числа log 3. Впоследствии В. Х. Салихову, благодаря использованию уже комплексного симметризованного интеграла, удалось улучшить оценку меры иррациональности числа $\pi$ [9]. В дальнейшем данный метод (применительно к диофантовым приближениям логарифмов рациональных чисел) получил развитие в работах его учеников: Е. С. Золотухиной [10, 11], М. Ю. Лучина [12, 13], E. Б. Томашевской [14]. Это привело к улучшению оценок мер иррациональности целого ряда чисел:
\begin{gather*} \mu{(\log{(5/3)})}\leq\:5.512...~[14],\quad \mu{(\log{(8/5)})}\:<\:5.9897~[12],\quad \mu{(\log{(7/5)})}\leq\:4.865...~[14],\\ \mu{(\log{(9/7)})}\leq\:3.6455...~[10],\quad \mu{(\log{(7/4)})}\:<\:8.1004~[13]. \end{gather*}
В данной работе с помощью симметризованного вещественного интеграла получена новая оценка меры иррациональности числа
$$\tau=\log{(37/30)},\quad \mu{(\tau)}\:<\:65.3358.$$
Впервые оценку меры иррациональности числа $\log(37/30)$ получили в 1993 году А. Хеймонен, Т. Матала-ахо и К. Ваананен [1]. В своей работе они вывели общий критерий, позволяющий оценить меру иррациональности чисел вида $\log(1-(r/s))$, где $r/s\in[-1,~1)$ $(r, s\in\mathbb{N})$. В качестве примера, они привели таблицу с полученными оценками при отдельных значениях $r/s$. Одним из приведенных значений было число $r/s=-7/30$, которое и давало следующую оценку: $\mu(\log(37/30))\leq\:619.5803\dots$.
Отметим также, что для получения новой оценки оптимальные параметры интегральной конструкции вычислялись с помощью разработанной автором компьютерной программы, использующей вычисления Mathcad.